#BEGIN: [Sat Sep 9 14:25:44 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance034_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph004_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-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance034_graph004.col /benchmark/random_instance/random_instance034_graph004_01.dat s 439 228 147 220 415 175 59 306 433 348 8 4 118 53 302 30 223 294 119 240 135 29 394 322 132 239 398 166 225 85 427 399 237 256 371 56 391 261 258 93 122 103 437 161 50 80 98 269 106 284 244 396 241 105 83 296 213 146 352 111 201 128 159 108 315 15 3 164 319 417 279 33 318 234 38 192 144 57 176 153 165 266 27 88 421 313 117 290 316 414 299 32 375 183 16 205 378 341 204 130 276 367 13 324 94 35 377 293 420 67 283 253 309 422 1 233 260 383 221 81 434 72 425 76 174 372 435 6 126 177 101 136 196 102 354 224 416 173 5 180 262 335 52 331 34 43 362 66 t 400 365 37 41 321 264 415 442 372 141 5 76 344 239 367 427 218 192 274 397 243 386 161 211 226 210 409 205 38 173 315 106 431 357 187 307 69 75 216 189 241 411 418 254 390 72 404 29 149 67 229 97 277 351 129 314 280 7 57 370 360 71 126 253 108 30 147 377 186 414 270 387 23 364 204 64 422 217 34 374 299 338 316 287 259 319 281 332 238 98 256 62 290 331 132 437 32 111 16 343 426 35 273 396 276 103 154 363 4 122 328 434 43 127 195 81 266 212 279 393 293 93 300 407 341 371 163 8 311 352 244 138 110 346 31 366 159 33 83 165 385 225 40 375 395 368 180 260 a YES a 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 1 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 1 4 5 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 1 4 5 8 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 1 4 5 8 15 16 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 4 5 8 15 16 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 4 5 8 15 16 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 43 50 52 53 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 50 52 53 57 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 52 53 57 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 52 53 57 66 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 187 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 52 53 57 66 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 128 132 135 136 138 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 187 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 52 53 57 66 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 132 135 136 138 144 147 153 159 161 164 165 166 173 174 175 176 177 180 183 187 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 52 53 57 66 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 132 135 136 138 144 147 159 161 164 165 166 173 174 175 176 177 180 183 187 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 362 365 367 371 372 375 377 378 383 390 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 53 57 66 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 132 135 136 138 144 147 159 161 164 165 166 173 174 175 176 177 180 183 187 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 53 57 66 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 135 136 138 144 147 159 161 164 165 166 173 175 176 177 180 183 187 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 53 57 66 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 135 136 138 144 147 159 161 164 165 166 173 175 176 177 180 183 187 192 196 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 66 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 135 136 138 144 147 159 161 164 165 166 173 175 176 177 180 183 187 192 196 204 205 213 216 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 396 398 399 407 414 415 416 417 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 66 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 135 136 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 213 216 220 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 396 398 399 407 409 414 415 416 417 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 66 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 135 136 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 213 216 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 396 398 399 404 407 409 414 415 416 417 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 135 136 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 213 216 221 223 224 225 228 233 234 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 80 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 135 136 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 213 216 218 221 223 224 225 228 233 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 135 136 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 213 216 218 221 223 224 225 228 233 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 427 431 433 434 435 437 439 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 136 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 213 216 218 221 223 224 225 228 233 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 276 279 283 284 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 213 216 218 221 223 224 225 228 233 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 270 276 279 283 284 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 260 261 262 264 266 269 270 276 279 283 284 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 260 261 262 264 266 270 276 279 283 284 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 81 83 85 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 260 261 262 264 266 270 276 279 283 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 81 83 88 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 144 147 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 296 299 302 306 307 309 313 315 316 318 319 321 322 324 328 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 144 147 154 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 306 307 309 313 315 316 318 319 321 322 324 328 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 309 313 315 316 318 319 321 322 324 328 331 335 341 348 352 354 357 362 365 367 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 313 315 316 318 319 321 322 324 328 331 335 341 348 352 354 357 362 365 367 368 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 313 315 316 319 321 322 324 328 331 335 341 348 352 354 357 362 365 367 368 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 94 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 313 314 315 316 319 321 324 328 331 335 341 348 352 354 357 362 365 367 368 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 313 314 315 316 319 321 324 328 331 332 335 341 348 352 354 357 362 365 367 368 371 372 375 377 378 383 390 391 394 395 396 398 399 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 237 239 240 241 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 313 314 315 316 319 321 328 331 332 335 341 348 352 354 357 362 365 367 368 371 372 375 377 378 383 390 391 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 239 240 241 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 335 341 348 352 354 357 362 365 367 368 371 372 375 377 378 383 390 391 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 239 240 241 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 348 352 354 357 362 365 367 368 371 372 375 377 378 383 385 390 391 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 164 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 239 240 241 243 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 352 354 357 362 365 367 368 371 372 375 377 378 383 385 390 391 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 239 240 241 243 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 352 354 357 360 362 365 367 368 371 372 375 377 378 383 385 390 391 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 97 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 239 240 241 243 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 352 357 360 362 365 367 368 371 372 375 377 378 383 385 390 391 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 97 98 102 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 233 239 240 241 243 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 352 357 360 362 365 367 368 371 372 375 377 383 385 390 391 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 72 76 81 83 93 97 98 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 229 233 239 240 241 243 244 253 254 256 258 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 352 357 360 362 365 367 368 371 372 375 377 383 385 390 391 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 69 72 76 81 83 93 97 98 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 213 216 217 218 221 223 224 225 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 352 357 360 362 365 367 368 371 372 375 377 383 385 390 391 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 69 72 76 81 83 93 97 98 103 105 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 212 213 216 217 218 221 223 224 225 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 352 357 360 362 365 367 368 371 372 375 377 383 385 390 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 69 72 76 81 83 93 97 98 103 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 212 213 216 217 218 221 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 276 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 352 357 360 362 365 367 368 371 372 375 377 383 385 390 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 69 72 76 81 83 93 97 98 103 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 276 277 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 352 357 360 362 365 367 368 371 372 375 377 383 385 390 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 43 57 67 69 72 76 81 83 93 97 98 103 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 276 277 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 352 357 360 365 367 368 371 372 374 375 377 383 385 390 394 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 67 69 72 76 81 83 93 97 98 103 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 276 277 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 352 357 360 365 367 368 371 372 374 375 377 383 385 390 395 396 398 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 67 69 72 76 81 83 93 97 98 103 106 108 111 117 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 276 277 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 371 372 374 375 377 383 385 390 395 396 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 67 69 72 76 81 83 93 97 98 103 106 108 111 118 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 371 372 374 375 377 383 385 390 395 396 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 76 81 83 93 97 98 103 106 108 111 119 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 371 372 374 375 377 383 385 390 395 396 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 176 177 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 371 372 374 375 377 383 385 390 395 396 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 128 129 132 138 141 144 147 154 159 161 165 166 173 177 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 371 372 374 375 377 383 385 390 393 395 396 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 128 129 132 138 141 144 147 149 154 159 161 165 166 173 177 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 371 372 374 375 377 385 390 393 395 396 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 128 129 132 138 141 144 147 149 154 159 161 163 165 173 177 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 371 372 374 375 377 385 390 393 395 396 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 128 129 132 138 141 144 147 149 154 159 161 163 165 173 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 370 371 372 374 375 377 385 390 393 395 396 399 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 128 129 132 138 141 144 147 149 154 159 161 163 165 173 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 281 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 370 371 372 374 375 377 385 390 393 395 396 400 404 407 409 414 415 416 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 128 129 132 138 141 144 147 149 154 159 161 163 165 173 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 281 283 287 290 293 294 299 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 400 404 407 409 414 415 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 128 129 132 138 141 147 149 154 159 161 163 165 173 180 183 187 192 196 204 205 210 212 213 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 281 283 287 290 293 294 299 300 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 400 404 407 409 414 415 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 128 129 132 138 141 147 149 154 159 161 163 165 173 180 183 187 192 196 204 205 210 212 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 302 307 311 313 314 315 316 319 321 328 331 332 341 344 352 357 360 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 400 404 407 409 414 415 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 128 129 132 138 141 147 149 154 159 161 163 165 173 180 183 187 192 196 204 205 210 212 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 313 314 315 316 319 321 328 331 332 341 344 346 352 357 360 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 400 404 407 409 414 415 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 183 187 192 196 204 205 210 211 212 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 313 314 315 316 319 321 328 331 332 341 344 346 352 357 360 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 400 404 407 409 414 415 417 418 420 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 183 187 192 196 204 205 210 211 212 216 217 218 223 224 225 226 229 233 239 240 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 313 314 315 316 319 321 328 331 332 341 344 346 352 357 360 364 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 400 404 407 409 414 415 417 418 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 183 187 192 196 204 205 210 211 212 216 217 218 223 224 225 226 229 233 239 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 313 314 315 316 319 321 328 331 332 341 343 344 346 352 357 360 364 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 400 404 407 409 414 415 417 418 421 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 183 187 192 196 204 205 210 211 212 216 217 218 223 224 225 226 229 233 239 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 313 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 364 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 400 404 407 409 414 415 417 418 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 187 192 196 204 205 210 211 212 216 217 218 223 224 225 226 229 233 239 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 313 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 364 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 397 400 404 407 409 414 415 417 418 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 187 192 204 205 210 211 212 216 217 218 223 224 225 226 229 233 239 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 313 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 397 400 404 407 409 414 415 417 418 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 187 192 204 205 210 211 212 216 217 218 224 225 226 229 233 239 241 243 244 253 254 256 259 260 261 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 313 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 397 400 404 407 409 414 415 417 418 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 204 205 210 211 212 216 217 218 224 225 226 229 233 239 241 243 244 253 254 256 259 260 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 313 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 397 400 404 407 409 414 415 417 418 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 224 225 226 229 233 239 241 243 244 253 254 256 259 260 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 367 368 370 371 372 374 375 377 385 386 390 393 395 396 397 400 404 407 409 414 415 417 418 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 224 225 226 229 233 239 241 243 244 253 254 256 259 260 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 414 415 418 422 425 426 427 431 433 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 224 225 226 229 233 239 241 243 244 253 254 256 259 260 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 414 415 418 422 425 426 427 431 434 435 437 439 442 a 4 5 7 8 16 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 225 226 229 233 239 241 243 244 253 254 256 259 260 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 425 426 427 431 434 435 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 225 226 229 233 239 241 243 244 253 254 256 259 260 262 264 266 270 273 276 277 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 435 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 64 67 69 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 225 226 229 233 239 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 277 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 62 64 67 69 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 225 226 229 239 241 243 244 253 254 256 259 260 262 264 266 270 273 274 276 277 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 62 64 67 69 71 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 225 226 229 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 283 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 62 64 67 69 71 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 439 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 62 64 67 69 71 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 294 299 300 307 311 314 315 316 319 321 328 331 332 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 442 a 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 62 64 67 69 71 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 299 300 307 311 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 442 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance034_graph004.col /benchmark/random_instance/random_instance034_graph004_01.dat" User time (seconds): 3282.96 System time (seconds): 10.38 Percent of CPU this job got: 189% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.18 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): 28184248 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9219372 Voluntary context switches: 67175 Involuntary context switches: 12351 Swaps: 0 File system inputs: 0 File system outputs: 760 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 14:54:44 2023]