#BEGIN: [Fri Sep 8 21:32:04 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance036_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance036_graph005_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance036_graph005.col /benchmark/random_instance/random_instance036_graph005_01.dat s 161 114 351 113 303 320 326 261 342 70 115 448 124 310 229 444 152 25 227 241 105 455 4 377 359 156 301 97 277 246 265 397 287 205 216 256 127 223 330 263 374 409 20 427 459 361 52 255 373 264 187 7 231 169 419 221 131 47 207 65 294 297 394 58 79 276 271 206 64 189 191 90 77 217 220 396 85 150 208 144 98 251 464 81 182 166 211 140 51 300 315 248 368 387 155 257 116 364 40 137 460 452 80 383 410 2 160 53 296 346 285 336 83 203 280 447 439 321 176 282 405 29 468 215 12 107 381 48 50 119 33 376 350 141 122 126 298 358 347 318 111 317 404 250 42 236 305 157 t 224 184 401 114 142 238 395 248 303 73 35 259 221 394 305 20 451 272 431 336 150 306 290 51 32 330 457 464 392 273 166 14 396 131 367 84 28 403 262 400 79 439 44 183 339 201 240 171 3 454 57 261 104 92 185 335 299 356 190 461 415 105 175 112 282 423 351 81 361 404 357 207 237 128 276 33 311 139 182 388 18 160 15 222 205 373 402 26 304 48 217 204 292 146 427 328 354 409 91 29 173 443 65 40 393 135 25 420 87 70 210 342 196 243 179 352 417 42 4 269 211 187 68 355 107 321 157 341 126 6 76 428 358 116 252 103 191 101 295 285 188 141 458 39 24 256 250 308 a YES a 2 4 7 12 20 25 29 33 40 42 47 48 50 51 52 53 58 64 65 70 77 79 80 81 83 85 90 97 98 105 107 111 113 114 115 116 119 122 124 126 127 131 137 140 141 144 150 152 155 156 157 160 161 166 169 176 182 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 404 405 409 410 419 427 439 444 447 448 452 455 459 460 464 468 a 4 7 12 20 25 29 33 40 42 47 48 50 51 52 53 58 64 65 70 77 79 80 81 83 85 90 97 98 105 107 111 113 114 115 116 119 122 124 126 127 131 137 140 141 144 150 152 155 156 157 160 161 166 169 176 182 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 419 427 439 444 447 448 452 455 459 460 464 468 a 4 7 12 20 25 29 33 40 42 47 48 50 51 52 53 58 65 70 77 79 80 81 83 85 90 97 98 105 107 111 113 114 115 116 119 122 124 126 127 131 137 139 140 141 144 150 152 155 156 157 160 161 166 169 176 182 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 419 427 439 444 447 448 452 455 459 460 464 468 a 4 7 12 20 25 29 33 40 42 47 48 50 51 52 53 58 65 70 77 79 80 81 85 90 97 98 105 107 111 113 114 115 116 119 122 124 126 127 131 137 139 140 141 144 150 152 155 156 157 160 161 166 169 176 182 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 455 459 460 464 468 a 4 7 12 20 25 29 33 40 42 47 48 50 51 52 53 58 65 70 77 79 80 81 90 97 98 105 107 111 113 114 115 116 119 122 124 126 127 131 137 139 140 141 144 150 152 155 156 157 160 161 166 169 176 182 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 455 459 460 464 468 a 4 12 20 25 29 33 40 42 47 48 50 51 52 53 58 65 70 77 79 80 81 90 97 98 104 105 107 111 113 114 115 116 119 122 124 126 127 131 137 139 140 141 144 150 152 155 156 157 160 161 166 169 176 182 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 455 459 460 464 468 a 4 12 20 25 26 29 33 40 42 47 48 50 51 52 53 58 65 70 77 79 80 81 90 98 104 105 107 111 113 114 115 116 119 122 124 126 127 131 137 139 140 141 144 150 152 155 156 157 160 161 166 169 176 182 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 455 459 460 464 468 a 4 12 20 25 26 29 33 40 42 47 48 50 51 52 53 57 58 65 70 77 79 80 81 90 98 104 105 107 111 114 115 116 119 122 124 126 127 131 137 139 140 141 144 150 152 155 156 157 160 161 166 169 176 182 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 455 459 460 464 468 a 4 20 25 26 29 33 40 42 47 48 50 51 52 53 57 58 65 70 77 79 80 81 90 98 104 105 107 111 114 115 116 119 122 124 126 127 131 137 139 140 141 144 150 152 155 156 157 160 161 166 169 176 182 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 252 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 455 459 460 464 468 a 4 20 25 26 29 33 40 42 47 48 50 51 52 53 57 58 65 70 77 79 80 81 90 98 104 105 107 111 114 115 116 119 122 124 126 127 131 139 140 141 144 150 152 155 156 157 160 161 166 169 176 182 185 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 252 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 455 459 460 464 468 a 4 18 20 25 26 29 33 40 42 47 48 50 51 52 53 57 58 65 70 77 79 80 81 90 98 104 105 107 111 114 115 116 119 122 124 126 127 131 139 140 141 144 150 155 156 157 160 161 166 169 176 182 185 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 252 255 256 257 261 263 264 265 271 276 277 280 282 285 287 294 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 455 459 460 464 468 a 4 18 20 25 26 29 33 40 42 47 48 50 51 52 53 57 58 65 70 77 79 80 81 90 98 104 105 107 111 114 115 116 119 122 124 126 127 131 139 140 141 144 150 155 156 157 160 166 169 176 182 185 187 189 191 203 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 252 255 256 257 261 263 264 265 269 271 276 277 280 282 285 287 294 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 455 459 460 464 468 a 4 18 20 25 26 29 33 40 42 47 48 50 51 52 53 57 58 65 70 77 79 80 81 90 98 104 105 107 111 114 115 116 119 122 124 126 127 131 139 140 141 144 150 155 156 157 160 166 169 176 182 185 187 189 191 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 241 246 248 250 251 252 255 256 257 261 263 264 265 269 271 276 277 280 282 285 287 294 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 454 455 459 460 464 468 a 4 18 20 25 26 29 33 40 42 48 50 51 52 53 57 58 65 70 77 79 80 81 90 98 104 105 107 111 114 115 116 119 122 124 126 127 131 139 140 141 144 150 155 156 157 160 166 169 176 182 185 187 189 191 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 241 246 248 250 251 252 255 256 257 261 263 264 265 269 271 276 277 280 282 285 287 294 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 454 455 459 460 464 468 a 4 18 20 25 26 29 33 40 42 48 50 51 52 53 57 58 65 70 73 77 79 80 81 90 98 104 105 107 111 114 115 116 122 124 126 127 131 139 140 141 144 150 155 156 157 160 166 169 176 182 185 187 189 191 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 241 246 248 250 251 252 255 256 257 261 263 264 265 269 271 276 277 280 282 285 287 294 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 454 455 459 460 464 468 a 4 18 20 25 26 29 33 40 42 48 50 51 52 53 57 58 65 70 73 77 79 80 81 90 98 104 105 107 111 114 115 116 122 124 126 127 131 139 140 141 144 150 155 156 157 160 166 169 176 182 185 187 189 191 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 241 248 250 251 252 255 256 257 261 263 264 265 269 271 276 277 280 282 285 287 294 295 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 439 444 447 448 452 454 455 459 460 464 468 a 4 18 20 25 26 29 33 40 42 48 50 51 52 53 57 58 65 70 73 77 79 81 90 98 104 105 107 111 114 115 116 122 124 126 127 131 139 140 141 144 150 155 156 157 160 166 169 176 182 185 187 189 191 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 241 248 250 251 252 255 256 257 261 263 264 265 269 271 276 277 280 282 285 287 294 295 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 404 405 409 410 415 419 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 18 20 25 26 29 33 40 42 48 50 51 52 53 57 58 65 70 73 77 79 81 90 98 104 105 107 111 114 115 116 122 124 126 127 131 139 140 141 144 150 155 156 157 160 166 169 176 182 185 187 189 191 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 257 261 263 264 265 269 271 276 277 280 282 285 287 294 295 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 48 50 51 52 53 57 58 65 70 73 77 79 81 90 98 104 105 107 111 114 115 116 122 124 126 127 131 139 140 141 144 150 155 156 157 160 166 169 176 182 185 187 189 191 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 263 264 265 269 271 276 277 280 282 285 287 294 295 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 48 50 51 52 53 57 58 65 70 73 77 79 81 90 98 101 104 105 107 111 114 115 116 122 124 126 127 131 139 140 141 144 150 155 156 157 160 166 169 176 182 185 187 189 191 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 263 264 265 269 271 276 277 280 282 285 294 295 296 297 298 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 48 50 51 52 53 57 58 65 70 73 77 79 81 90 98 101 104 105 107 111 114 115 116 122 124 126 127 131 139 140 141 144 150 155 156 157 160 166 169 176 182 185 187 189 191 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 263 264 265 269 271 276 277 280 282 285 294 295 296 297 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 352 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 48 51 52 53 57 58 65 70 73 77 79 81 90 98 101 104 105 107 111 114 115 116 122 124 126 127 131 139 140 141 144 150 155 156 157 160 166 169 176 182 185 187 189 191 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 276 277 280 282 285 294 295 296 297 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 352 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 48 51 52 53 57 58 65 70 73 77 79 81 90 98 101 104 105 107 111 114 115 116 122 124 126 127 131 139 140 141 150 155 156 157 160 166 169 176 182 185 187 189 191 201 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 276 277 280 282 285 294 295 296 297 300 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 352 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 48 51 52 53 57 58 65 70 73 77 79 81 90 98 101 104 105 107 111 114 115 116 122 124 126 127 131 139 140 141 150 155 156 157 160 166 169 176 182 185 187 189 191 201 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 301 303 304 305 310 315 317 318 320 321 326 330 336 342 346 347 350 351 352 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 48 51 52 53 57 58 65 70 73 77 79 81 90 98 101 104 105 107 111 114 115 116 122 124 126 127 131 139 140 141 150 155 156 157 160 166 169 176 182 185 187 189 191 201 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 301 303 304 305 310 315 317 320 321 326 328 330 336 342 346 347 350 351 352 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 48 51 52 53 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 122 124 126 127 128 131 139 140 141 150 155 156 157 160 166 169 176 182 185 187 189 191 201 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 301 303 304 305 310 315 317 320 321 326 328 330 336 342 346 347 350 351 352 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 48 51 52 53 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 122 124 126 127 128 131 139 140 141 150 155 156 157 160 166 169 176 182 185 187 189 191 201 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 301 303 304 305 310 315 317 321 326 328 330 336 342 346 347 350 351 352 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 420 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 48 51 53 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 122 124 126 127 128 131 139 140 141 150 155 156 157 160 166 169 176 182 185 187 189 191 201 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 301 303 304 305 310 315 317 321 326 328 330 336 341 342 346 347 350 351 352 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 420 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 44 48 51 53 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 122 124 126 127 128 131 139 140 141 150 155 156 157 160 166 169 176 182 185 187 189 191 201 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 350 351 352 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 420 427 431 439 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 122 124 126 127 128 131 139 140 141 150 155 156 157 160 166 169 176 182 185 187 189 191 201 205 206 207 208 211 215 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 350 351 352 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 122 124 126 127 128 131 139 140 141 150 155 156 157 160 166 169 176 182 185 187 189 191 201 204 205 206 207 208 211 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 350 351 352 358 359 361 364 368 373 374 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 122 124 126 127 128 131 139 140 141 150 155 156 157 160 166 169 171 176 182 185 187 189 191 201 204 205 206 207 208 211 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 350 351 352 358 359 361 364 368 373 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 122 126 127 128 131 139 140 141 150 155 156 157 160 166 169 171 176 182 185 187 189 191 201 204 205 206 207 208 211 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 350 351 352 358 359 361 364 368 373 376 377 381 383 387 394 396 397 401 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 122 126 127 128 131 139 140 141 150 155 156 157 160 166 169 171 176 182 185 187 191 201 204 205 206 207 208 211 216 217 220 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 350 351 352 358 359 361 364 368 373 376 377 381 383 387 388 394 396 397 401 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 122 126 127 128 131 139 140 141 150 155 156 157 160 166 169 171 176 182 185 187 191 201 204 205 206 207 208 211 216 217 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 350 351 352 358 359 361 364 368 373 376 377 381 383 387 388 394 396 397 401 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 126 127 128 131 139 140 141 150 155 156 157 160 166 169 171 176 182 185 187 191 201 204 205 206 207 208 211 216 217 221 223 227 229 231 236 237 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 350 351 352 358 359 361 364 368 373 376 377 381 383 387 388 394 396 397 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 126 128 131 139 140 141 150 155 156 157 160 166 169 171 176 182 185 187 191 201 204 205 206 207 208 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 350 351 352 358 359 361 364 368 373 376 377 381 383 387 388 394 396 397 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 126 128 131 139 140 141 150 155 156 157 160 166 169 171 176 182 185 187 191 201 204 205 206 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 351 352 358 359 361 364 368 373 376 377 381 383 387 388 394 396 397 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 126 128 131 139 140 141 150 155 156 157 160 166 169 171 176 182 185 187 191 201 204 205 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 351 352 355 358 359 361 364 368 373 376 377 381 383 387 388 394 396 397 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 126 128 131 139 140 141 150 155 156 157 160 166 169 171 176 182 185 187 191 201 204 205 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 381 383 387 388 394 396 397 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 58 65 70 73 77 79 81 90 98 101 104 105 107 114 115 116 126 128 131 139 140 141 150 155 156 157 160 166 169 171 176 182 185 187 191 201 204 205 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 383 387 388 394 396 397 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 58 65 70 73 76 77 79 81 90 98 101 104 105 107 114 115 116 126 128 131 139 140 141 150 155 156 157 160 166 169 171 176 182 185 187 191 201 204 205 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 394 396 397 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 65 70 73 76 77 79 81 90 98 101 104 105 107 114 115 116 126 128 131 139 140 141 142 150 155 156 157 160 166 169 171 176 182 185 187 191 201 204 205 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 394 396 397 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 65 70 73 76 79 81 90 98 101 104 105 107 114 115 116 126 128 131 139 140 141 142 150 155 156 157 160 166 169 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 394 396 397 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 65 70 73 76 79 81 90 98 101 104 105 107 114 115 116 126 128 131 139 140 141 142 150 155 156 157 160 166 169 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 259 261 262 263 264 265 269 271 273 276 277 280 282 285 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 25 26 29 33 35 40 42 44 48 51 57 65 70 73 76 79 81 98 101 104 105 107 114 115 116 126 128 131 139 140 141 142 150 155 156 157 160 166 169 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 259 261 262 263 264 265 269 271 273 276 277 280 282 285 292 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 70 73 76 79 81 101 104 105 107 114 115 116 126 128 131 139 140 141 142 150 155 156 157 160 166 169 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 259 261 262 263 264 265 269 271 273 276 277 280 282 285 292 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 150 155 156 157 160 166 169 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 259 261 262 263 264 265 269 271 273 276 277 280 282 285 292 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 150 155 156 157 160 166 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 229 231 236 237 240 248 250 251 252 255 256 259 261 262 263 264 265 269 271 273 276 277 280 282 285 292 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 150 155 156 157 160 166 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 231 236 237 240 248 250 251 252 255 256 259 261 262 263 264 265 269 271 273 276 277 280 282 285 292 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 150 155 156 157 160 166 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 236 237 240 248 250 251 252 255 256 259 261 262 263 264 265 269 271 273 276 277 280 282 285 292 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 393 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 150 155 156 157 160 166 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 271 273 276 277 280 282 285 292 294 295 296 297 299 301 303 304 305 310 315 317 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 393 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 150 155 156 157 160 166 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 277 280 282 285 292 294 295 296 297 299 301 303 304 305 306 310 315 317 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 393 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 150 155 156 157 160 166 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 280 282 285 292 294 295 296 297 299 301 303 304 305 306 310 315 317 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 393 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 150 155 156 157 160 166 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 280 282 285 292 294 295 296 297 299 301 303 304 305 306 310 311 315 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 359 361 364 368 373 376 387 388 393 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 150 155 156 157 160 166 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 280 282 285 292 294 295 296 297 299 301 303 304 305 306 310 311 315 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 359 361 364 373 376 387 388 393 394 396 401 402 403 404 405 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 146 150 155 156 157 160 166 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 280 282 285 292 294 295 296 297 299 301 303 304 305 306 310 311 315 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 359 361 364 373 376 387 388 393 394 396 401 402 403 404 409 410 415 419 420 427 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 146 150 155 156 157 160 166 171 176 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 280 282 285 292 294 295 296 297 299 301 303 304 305 306 308 310 311 315 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 359 361 364 373 376 387 388 393 394 396 401 402 403 404 409 415 419 420 427 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 146 150 155 156 157 160 166 171 176 179 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 280 282 285 292 294 295 296 297 299 301 303 304 305 306 308 310 311 315 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 361 364 373 376 387 388 393 394 396 401 402 403 404 409 415 419 420 427 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 115 116 126 128 131 139 141 142 146 150 155 156 157 160 166 171 176 179 182 185 187 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 280 282 285 292 294 295 296 297 299 301 303 304 305 306 308 310 311 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 361 364 373 376 387 388 393 394 396 401 402 403 404 409 415 419 420 427 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 116 126 128 131 139 141 142 146 150 155 156 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 280 282 285 292 294 295 296 297 299 301 303 304 305 306 308 310 311 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 361 364 373 376 387 388 393 394 396 401 402 403 404 409 415 419 420 427 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 87 101 104 105 107 114 116 126 128 131 139 141 142 146 150 155 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 280 282 285 290 292 294 295 296 297 299 301 303 304 305 306 308 310 311 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 361 364 373 376 387 388 393 394 396 401 402 403 404 409 415 419 420 427 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 101 104 105 107 114 116 126 128 131 139 141 142 146 150 155 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 280 282 285 290 292 295 296 297 299 301 303 304 305 306 308 310 311 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 361 364 373 376 387 388 393 394 396 401 402 403 404 409 415 419 420 427 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 101 104 105 107 114 116 126 128 131 139 141 142 146 150 155 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 273 276 280 282 285 290 292 295 296 297 299 303 304 305 306 308 310 311 321 328 330 335 336 339 341 342 346 347 351 352 355 356 358 361 364 373 376 387 388 393 394 396 401 402 403 404 409 415 419 420 427 428 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 101 104 105 107 114 116 126 128 131 139 141 142 146 150 155 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 272 273 276 280 282 285 290 292 295 296 297 299 303 304 305 306 308 310 311 321 328 330 335 336 339 341 342 346 351 352 355 356 358 361 364 373 376 387 388 393 394 396 401 402 403 404 409 415 419 420 427 428 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 101 104 105 107 114 116 126 128 131 139 141 142 146 150 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 248 250 251 252 255 256 259 261 262 264 265 269 272 273 276 280 282 285 290 292 295 296 297 299 303 304 305 306 308 310 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 358 361 364 373 376 387 388 393 394 396 401 402 403 404 409 415 419 420 427 428 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 101 104 105 107 114 116 126 128 131 139 141 142 146 150 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 223 224 227 236 237 240 243 248 250 251 252 255 256 259 261 262 264 265 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 310 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 358 361 364 373 376 387 388 393 394 396 401 402 403 404 409 415 419 420 427 428 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 101 104 105 107 114 116 126 128 131 139 141 142 146 150 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 222 223 224 227 236 237 240 243 248 250 251 252 255 256 259 261 262 265 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 310 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 358 361 364 373 376 387 388 393 394 396 401 402 403 404 409 415 419 420 427 428 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 101 104 105 107 114 116 126 128 131 139 141 142 146 150 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 222 224 227 236 237 240 243 248 250 251 252 255 256 259 261 262 265 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 310 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 358 361 364 373 376 387 388 392 393 394 396 401 402 403 404 409 415 419 420 427 428 431 439 443 444 447 448 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 101 104 105 107 114 116 126 128 131 139 141 142 146 150 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 222 224 227 236 237 240 243 248 250 251 252 255 256 259 261 262 265 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 358 361 364 373 376 387 388 392 393 394 396 401 402 403 404 409 415 419 420 427 428 431 439 443 444 447 448 451 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 101 104 105 107 112 114 116 126 128 131 139 141 142 146 150 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 222 224 227 236 237 240 243 248 250 251 252 255 256 259 261 262 265 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 358 361 364 373 376 387 388 392 393 394 396 401 402 403 404 409 415 420 427 428 431 439 443 444 447 448 451 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 139 141 142 146 150 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 222 224 227 236 237 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 358 361 364 373 376 387 388 392 393 394 396 401 402 403 404 409 415 420 427 428 431 439 443 444 447 448 451 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 139 141 142 146 150 157 160 166 171 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 222 224 227 236 237 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 387 388 392 393 394 396 401 402 403 404 409 415 420 427 428 431 439 443 447 448 451 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 139 141 142 146 150 157 160 166 171 173 176 179 182 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 222 224 227 236 237 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 387 388 392 393 394 396 401 402 403 404 409 415 420 427 428 431 439 443 448 451 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 139 141 142 146 150 157 160 166 171 173 176 179 182 183 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 222 224 227 236 237 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 388 392 393 394 396 401 402 403 404 409 415 420 427 428 431 439 443 448 451 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 176 179 182 183 185 187 188 191 196 201 204 205 207 208 210 211 216 217 221 222 224 227 236 237 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 388 392 393 394 396 401 402 403 404 409 415 420 427 428 431 439 443 451 452 454 455 457 458 459 460 464 468 a 4 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 176 179 182 183 185 187 188 190 191 196 201 204 205 207 208 210 211 217 221 222 224 227 236 237 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 388 392 393 394 396 401 402 403 404 409 415 420 427 428 431 439 443 451 452 454 455 457 458 459 460 464 468 a 4 14 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 176 179 182 183 185 187 188 190 191 196 201 204 205 207 208 210 211 217 221 222 224 227 237 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 388 392 393 394 396 401 402 403 404 409 415 420 427 428 431 439 443 451 452 454 455 457 458 459 460 464 468 a 4 6 14 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 176 179 182 183 185 187 188 190 191 196 201 204 205 207 208 210 211 217 221 222 224 227 237 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 388 392 393 394 396 401 402 403 404 409 415 420 427 428 431 439 443 451 452 454 457 458 459 460 464 468 a 4 6 14 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 179 182 183 185 187 188 190 191 196 201 204 205 207 208 210 211 217 221 222 224 227 237 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 388 392 393 394 396 401 402 403 404 409 415 420 427 428 431 439 443 451 452 454 457 458 459 460 461 464 468 a 4 6 14 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 179 182 183 184 185 187 188 190 191 196 201 204 205 207 208 210 211 217 221 222 224 237 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 388 392 393 394 396 401 402 403 404 409 415 420 427 428 431 439 443 451 452 454 457 458 459 460 461 464 468 a 4 6 14 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 179 182 183 184 185 187 188 190 191 196 201 204 205 207 208 210 211 217 221 222 224 237 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 388 392 393 394 396 401 402 403 404 409 415 420 423 427 428 431 439 443 451 454 457 458 459 460 461 464 468 a 4 6 14 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 179 182 183 184 185 187 188 190 191 196 201 204 205 207 208 210 211 217 221 222 224 237 238 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 388 392 393 394 396 401 402 403 404 409 415 420 423 427 428 431 439 443 451 454 457 458 460 461 464 468 a 4 6 14 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 179 182 183 184 185 187 188 190 191 196 201 204 205 207 210 211 217 221 222 224 237 238 240 243 248 250 251 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 373 376 388 392 393 394 396 400 401 402 403 404 409 415 420 423 427 428 431 439 443 451 454 457 458 460 461 464 468 a 4 6 14 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 179 182 183 184 185 187 188 190 191 196 201 204 205 207 210 211 217 221 222 224 237 238 240 243 248 250 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 367 373 376 388 392 393 394 396 400 401 402 403 404 409 415 420 423 427 428 431 439 443 451 454 457 458 460 461 464 468 a 4 6 14 15 18 20 24 25 26 29 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 92 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 179 182 183 184 185 187 188 190 191 196 201 204 205 207 210 211 217 221 222 224 237 238 240 243 248 250 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 367 373 388 392 393 394 396 400 401 402 403 404 409 415 420 423 427 428 431 439 443 451 454 457 458 460 461 464 468 a 4 6 14 15 18 20 24 25 26 29 32 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 92 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 179 182 183 184 185 187 188 190 191 196 201 204 205 207 210 211 217 221 222 224 237 238 240 243 248 250 252 255 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 367 373 388 392 393 394 396 400 401 402 403 404 409 415 420 423 427 428 431 439 443 451 454 457 458 461 464 468 a 4 6 14 15 18 20 24 25 26 29 32 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 92 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 175 179 182 183 184 185 187 188 190 191 196 201 204 205 207 210 211 217 221 222 224 237 238 240 243 248 250 252 256 259 261 262 269 272 273 276 280 282 285 290 292 295 297 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 367 373 388 392 393 394 396 400 401 402 403 404 409 415 420 423 427 428 431 439 443 451 454 457 458 461 464 468 a 4 6 14 15 18 20 24 25 26 28 29 32 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 92 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 175 179 182 183 184 185 187 188 190 191 196 201 204 205 207 210 211 217 221 222 224 237 238 240 243 248 250 252 256 259 261 262 269 272 273 276 280 282 285 290 292 295 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 364 367 373 388 392 393 394 396 400 401 402 403 404 409 415 420 423 427 428 431 439 443 451 454 457 458 461 464 468 a 4 6 14 15 18 20 24 25 26 28 29 32 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 92 101 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 175 179 182 183 184 185 187 188 190 191 196 201 204 205 207 210 211 217 221 222 224 237 238 240 243 248 250 252 256 259 261 262 269 272 273 276 280 282 285 290 292 295 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 367 373 388 392 393 394 396 400 401 402 403 404 409 415 417 420 423 427 428 431 439 443 451 454 457 458 461 464 468 a 4 6 14 15 18 20 24 25 26 28 29 32 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 92 101 103 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 175 179 182 183 184 185 187 188 190 191 196 201 204 205 207 210 211 217 221 222 224 237 238 240 243 248 250 252 256 259 261 262 269 272 273 276 280 282 285 290 292 295 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 367 373 388 392 393 394 396 400 401 402 403 404 409 415 417 420 423 427 428 431 439 443 451 454 457 458 461 464 a 3 4 6 14 15 18 20 24 25 26 28 29 32 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 92 101 103 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 175 179 182 183 184 185 187 188 190 191 196 201 204 205 207 210 211 217 221 222 224 237 238 240 243 248 250 252 256 259 261 262 269 272 273 276 282 285 290 292 295 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 346 351 352 354 355 356 357 358 361 367 373 388 392 393 394 396 400 401 402 403 404 409 415 417 420 423 427 428 431 439 443 451 454 457 458 461 464 a 3 4 6 14 15 18 20 24 25 26 28 29 32 33 35 39 40 42 44 48 51 57 65 68 70 73 76 79 81 84 87 91 92 101 103 104 105 107 112 114 116 126 128 131 135 139 141 142 146 150 157 160 166 171 173 175 179 182 183 184 185 187 188 190 191 196 201 204 205 207 210 211 217 221 222 224 237 238 240 243 248 250 252 256 259 261 262 269 272 273 276 282 285 290 292 295 299 303 304 305 306 308 311 321 328 330 335 336 339 341 342 351 352 354 355 356 357 358 361 367 373 388 392 393 394 395 396 400 401 402 403 404 409 415 417 420 423 427 428 431 439 443 451 454 457 458 461 464 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance036_graph005.col /benchmark/random_instance/random_instance036_graph005_01.dat" User time (seconds): 3461.63 System time (seconds): 11.06 Percent of CPU this job got: 199% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.19 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): 28184524 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8189089 Voluntary context switches: 68386 Involuntary context switches: 9697 Swaps: 0 File system inputs: 0 File system outputs: 784 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 22:01:04 2023]