#BEGIN: [Mon Sep 25 17:52:12 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance035_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance035_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=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance035_graph003.col /benchmark/random_instance/random_instance035_graph003_01.dat s 294 242 400 165 105 17 333 192 361 9 181 358 243 157 167 45 76 5 69 172 452 60 419 322 59 199 327 209 95 408 259 19 331 151 375 233 387 170 240 296 258 250 62 396 216 34 444 275 282 194 269 125 234 121 329 140 189 271 404 402 335 190 128 414 356 349 270 437 203 40 318 3 85 137 174 75 447 313 334 370 292 390 328 48 171 179 307 168 251 332 229 217 6 381 25 50 267 4 110 314 395 255 316 180 15 409 166 123 182 355 1 87 435 415 438 264 155 139 261 38 21 285 35 211 162 280 449 102 436 43 266 107 236 253 134 354 385 429 286 t 86 266 184 222 279 341 68 337 44 403 325 239 36 428 153 85 415 131 143 212 198 57 238 207 154 163 436 142 77 181 234 435 308 71 117 152 373 146 227 315 318 380 187 316 355 100 363 406 290 165 306 401 213 173 199 88 343 183 409 307 215 419 416 269 253 313 305 14 113 389 322 429 82 384 317 177 200 236 282 258 324 205 94 126 289 394 256 6 169 402 95 202 249 206 334 201 1 447 335 449 300 302 344 195 261 358 255 160 251 104 30 336 140 276 134 110 298 371 397 5 277 92 395 345 59 444 125 228 180 418 399 40 192 167 19 164 432 9 66 a YES a 1 3 4 5 6 9 15 17 19 21 25 34 35 38 40 43 45 48 50 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 400 402 404 408 409 414 415 419 429 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 15 17 19 25 34 35 38 40 43 45 48 50 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 400 402 404 408 409 414 415 419 429 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 15 17 19 25 34 35 40 43 45 48 50 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 400 401 402 404 408 409 414 415 419 429 435 436 437 438 444 447 449 452 a 1 3 4 5 6 9 14 15 17 19 25 34 35 40 43 48 50 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 400 401 402 404 408 409 414 415 419 429 435 436 437 438 444 447 449 452 a 1 4 5 6 9 14 15 17 19 25 34 35 40 43 48 50 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 400 401 402 404 408 409 414 415 419 429 435 436 437 438 444 447 449 452 a 1 4 5 6 9 14 15 17 19 25 34 35 40 43 50 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 15 17 19 25 34 35 40 43 50 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 397 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 15 17 19 25 34 35 40 43 50 59 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 306 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 397 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 15 17 19 25 34 40 43 50 59 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 306 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 397 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 15 17 19 25 34 40 43 50 59 62 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 201 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 306 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 397 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 15 17 19 25 34 40 43 50 59 62 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 201 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 397 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 15 17 19 25 34 40 43 50 59 62 76 85 87 95 105 107 110 121 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 201 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 343 349 354 355 356 358 361 370 375 381 385 387 390 395 396 397 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 15 17 19 25 34 40 43 50 59 62 76 85 87 95 105 107 110 123 125 128 134 137 139 140 151 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 187 189 190 192 194 199 201 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 343 349 354 355 356 358 361 370 375 381 385 387 390 395 396 397 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 15 17 19 25 34 36 40 43 50 59 62 76 85 87 95 105 107 110 123 125 128 134 137 139 140 154 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 187 189 190 192 194 199 201 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 343 349 354 355 356 358 361 370 375 381 385 387 390 395 396 397 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 15 17 19 25 34 36 40 43 50 59 62 76 85 87 95 105 107 110 123 125 128 134 137 139 140 154 155 157 162 165 166 167 170 171 172 174 179 180 181 182 187 189 190 192 194 199 201 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 343 349 354 355 356 358 361 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 15 17 19 25 30 34 36 40 43 50 59 62 76 85 87 95 105 107 110 123 125 128 134 137 139 140 154 155 157 162 165 166 167 170 172 174 179 180 181 182 187 189 190 192 194 199 201 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 327 328 329 331 332 333 334 335 343 349 354 355 356 358 361 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 15 17 19 25 30 34 36 40 43 50 59 62 76 85 87 95 105 107 110 123 125 128 134 137 139 140 154 155 157 162 165 166 167 170 174 179 180 181 182 187 189 190 192 194 199 201 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 349 354 355 356 358 361 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 17 19 25 30 34 36 40 43 50 59 62 76 85 87 95 105 107 110 123 125 128 134 137 139 140 154 155 157 162 165 166 167 170 174 179 180 181 182 187 189 190 192 194 199 201 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 25 30 34 36 40 43 50 59 62 76 85 87 95 105 107 110 123 125 128 134 137 139 140 154 155 157 162 165 166 167 170 174 179 180 181 182 187 189 190 192 194 199 201 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 25 30 34 36 40 43 50 59 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 154 155 157 162 165 166 167 170 174 179 180 181 182 187 189 190 192 194 199 201 203 207 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 25 30 34 36 40 43 50 59 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 154 155 157 162 165 166 167 170 174 179 180 181 182 187 189 192 194 199 201 203 207 209 211 216 217 222 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 25 30 34 36 40 43 50 59 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 154 155 157 162 165 166 167 170 174 179 180 181 182 187 189 192 199 201 203 207 209 211 216 217 222 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 34 36 40 43 50 59 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 154 155 157 162 165 166 167 170 174 179 180 181 182 187 189 192 199 201 202 203 207 209 211 216 217 222 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 43 50 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 154 155 157 162 165 166 167 170 174 179 180 181 182 187 189 192 199 201 202 203 207 209 211 216 217 222 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 50 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 154 155 157 160 162 165 166 167 170 174 179 180 181 182 187 189 192 199 201 202 203 207 209 211 216 217 222 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 50 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 154 155 157 160 162 165 166 167 170 174 179 180 181 182 187 189 192 199 201 202 205 207 209 211 216 217 222 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 50 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 154 155 157 160 162 165 166 167 170 174 179 180 181 182 187 189 192 199 201 202 205 207 209 211 217 222 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 302 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 50 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 154 155 157 160 162 165 166 167 170 174 179 180 181 182 187 189 192 198 199 201 202 205 207 209 211 222 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 302 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 50 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 154 155 157 160 162 165 166 167 170 174 180 181 182 187 189 192 198 199 201 202 205 207 209 211 222 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 50 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 154 155 157 160 162 165 166 167 170 174 180 181 182 187 192 198 199 200 201 202 205 207 209 211 222 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 50 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 142 154 155 157 160 162 165 166 167 170 174 180 181 182 187 192 198 199 200 201 202 205 207 209 211 222 229 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 142 154 155 157 160 162 165 166 167 170 174 180 181 182 187 192 198 199 200 201 202 205 207 209 211 222 229 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 142 154 155 157 160 162 165 166 167 170 180 181 182 187 192 198 199 200 201 202 205 207 209 211 222 229 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 337 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 142 154 155 157 160 162 165 166 167 170 180 181 182 187 192 198 199 200 201 202 205 207 209 211 222 229 234 236 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 327 328 329 331 332 333 334 335 336 337 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 142 154 155 157 160 162 165 166 167 170 180 181 182 187 192 198 199 200 201 202 205 207 209 211 222 229 234 236 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 76 85 87 95 100 105 107 110 123 125 128 134 137 139 140 142 154 155 157 160 162 165 166 167 170 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 87 95 100 105 107 110 123 125 128 134 137 139 140 142 154 155 157 160 162 165 166 167 170 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 87 95 100 105 107 110 125 128 134 137 139 140 142 154 155 157 160 162 165 166 167 170 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 87 95 100 105 107 110 125 128 134 137 139 140 142 143 154 157 160 162 165 166 167 170 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 250 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 87 95 100 105 107 110 125 128 134 137 139 140 142 143 154 157 160 162 165 166 167 170 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 95 100 105 107 110 125 128 134 137 139 140 142 143 154 157 160 162 165 166 167 170 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 259 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 95 100 105 107 110 113 125 128 134 137 139 140 142 143 154 157 160 162 165 166 167 170 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 381 385 387 390 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 95 100 107 110 113 125 128 134 137 139 140 142 143 154 157 160 162 165 166 167 170 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 95 100 107 110 113 125 128 134 137 139 140 142 143 154 157 160 162 165 166 167 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 264 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 95 100 104 107 110 113 125 128 134 137 139 140 142 143 154 157 160 162 165 166 167 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 266 267 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 95 100 104 107 110 113 125 128 134 137 139 140 142 143 146 154 157 160 162 165 166 167 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 266 269 270 271 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 86 95 100 104 107 110 113 125 128 134 137 139 140 142 143 146 154 157 160 162 165 166 167 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 266 269 270 275 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 86 95 100 104 107 110 113 125 128 134 137 139 140 142 143 146 154 157 160 162 165 166 167 173 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 266 269 270 277 280 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 86 95 100 104 107 110 113 125 128 134 137 139 140 142 143 146 154 157 160 162 165 166 167 173 180 181 182 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 86 95 100 104 107 110 113 125 134 137 139 140 142 143 146 154 157 160 162 165 166 167 173 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 292 294 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 86 95 100 104 107 110 113 125 134 137 139 140 142 143 146 153 154 157 160 162 165 166 167 173 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 292 296 298 302 305 306 307 313 314 316 317 318 322 324 325 327 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 71 85 86 95 100 104 107 110 113 125 134 137 139 140 142 143 146 153 154 157 160 162 165 166 167 173 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 292 296 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 331 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 71 85 86 95 100 104 107 110 113 125 134 137 139 140 142 143 146 153 154 157 160 162 165 166 167 173 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 292 296 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 332 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 71 85 86 95 100 104 107 110 113 125 134 137 139 140 142 143 146 153 154 157 160 162 165 166 167 169 173 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 292 296 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 71 85 86 95 100 104 110 113 125 134 137 139 140 142 143 146 153 154 157 160 162 165 166 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 215 222 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 292 296 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 71 85 86 95 100 104 110 113 125 134 137 139 140 142 143 146 153 154 160 162 165 166 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 292 296 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 71 85 86 95 100 104 110 113 125 134 137 139 140 142 143 146 153 154 160 162 165 166 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 296 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 71 85 86 95 100 104 110 113 117 125 134 137 139 140 142 143 146 153 154 160 162 165 166 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 349 354 355 356 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 85 86 95 100 104 110 113 117 125 134 137 139 140 142 143 146 153 154 160 162 165 166 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 354 355 356 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 95 100 104 110 113 117 125 134 137 139 140 142 143 146 153 154 160 162 165 166 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 354 355 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 95 100 104 110 113 117 125 134 139 140 142 143 146 153 154 160 162 165 166 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 270 277 282 285 286 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 354 355 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 95 100 104 110 113 117 125 134 140 142 143 146 153 154 160 162 165 166 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 270 276 277 282 285 286 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 354 355 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 95 100 104 110 113 117 125 126 134 140 142 143 146 153 154 160 165 166 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 211 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 270 276 277 282 285 286 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 354 355 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 95 100 104 110 113 117 125 126 134 140 142 143 146 153 154 160 165 166 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 270 276 277 282 285 286 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 354 355 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 95 100 104 110 113 117 125 126 134 140 142 143 146 152 153 154 160 165 166 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 276 277 282 285 286 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 354 355 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 95 100 104 110 113 117 125 126 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 276 277 282 285 286 289 298 302 305 306 307 313 314 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 354 355 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 95 100 104 110 113 117 125 126 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 276 277 282 285 286 289 298 302 305 306 307 313 315 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 354 355 358 361 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 95 100 104 110 113 117 125 126 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 313 315 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 354 355 358 363 370 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 95 100 104 110 113 117 125 126 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 313 315 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 355 358 363 370 373 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 95 100 104 110 113 117 125 126 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 313 315 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 355 358 363 373 375 380 381 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 213 215 222 227 229 234 236 238 239 251 253 255 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 313 315 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 355 358 363 373 375 380 385 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 182 184 187 192 198 199 200 201 202 205 207 209 213 215 222 227 229 234 236 238 239 249 251 253 255 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 313 315 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 355 358 363 373 375 380 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 184 187 192 198 199 200 201 202 205 207 209 213 215 222 227 229 234 236 238 239 249 251 253 255 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 313 315 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 355 358 363 371 373 375 380 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 184 187 192 198 199 200 201 202 205 207 213 215 222 227 229 234 236 238 239 249 251 253 255 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 313 315 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 355 358 363 371 373 375 380 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 183 184 187 192 198 199 200 201 202 205 207 213 215 222 227 234 236 238 239 249 251 253 255 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 313 315 316 317 318 322 324 325 328 329 333 334 335 336 337 343 344 345 355 358 363 371 373 375 380 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 183 184 187 192 198 199 200 201 202 205 207 213 215 222 227 234 236 238 239 249 251 253 255 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 343 344 345 355 358 363 371 373 375 380 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 183 184 187 192 198 199 200 201 202 205 206 207 213 215 222 227 234 236 238 239 249 251 253 255 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 343 344 345 355 358 363 371 373 380 387 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 183 184 187 192 198 199 200 201 202 205 206 207 213 215 222 227 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 343 344 345 355 358 363 371 373 380 390 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 213 215 222 227 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 343 344 345 355 358 363 371 373 380 394 395 396 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 213 215 222 227 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 343 344 345 355 358 363 371 373 380 394 395 397 399 400 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 57 59 66 68 71 77 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 213 215 222 227 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 343 344 345 355 358 363 371 373 380 384 394 395 397 399 401 402 403 404 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 213 215 222 227 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 343 344 345 355 358 363 371 373 380 384 394 395 397 399 401 402 403 406 408 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 213 215 222 227 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 343 344 345 355 358 363 371 373 380 384 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 437 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 343 344 345 355 358 363 371 373 380 384 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 438 444 447 449 452 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 343 344 345 355 358 363 371 373 380 384 389 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 444 447 449 452 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 282 285 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 341 343 344 345 355 358 363 371 373 380 384 389 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 286 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 341 343 344 345 355 358 363 371 373 380 384 389 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 212 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 328 329 334 335 336 337 341 343 344 345 355 358 363 371 373 380 384 389 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 212 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 329 334 335 336 337 341 343 344 345 355 358 363 371 373 380 384 389 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 212 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 334 335 336 337 341 343 344 345 355 358 363 371 373 380 384 389 394 395 397 399 401 402 403 406 409 414 415 416 418 419 428 429 432 435 436 444 447 449 a 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 212 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 334 335 336 337 341 343 344 345 355 358 363 371 373 380 384 389 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 444 447 449 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance035_graph003.col /benchmark/random_instance/random_instance035_graph003_01.dat" User time (seconds): 1733.27 System time (seconds): 7.20 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.62 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): 28660376 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7503551 Voluntary context switches: 26 Involuntary context switches: 11992 Swaps: 0 File system inputs: 0 File system outputs: 576 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 25 18:21:13 2023]