#BEGIN: [Fri Sep 8 04:34:37 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance034_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph005_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance034_graph005.col /benchmark/random_instance/random_instance034_graph005_01.dat s 205 380 125 311 262 344 57 196 435 189 27 148 128 176 355 350 243 81 70 52 5 398 234 298 285 438 117 407 110 324 364 54 140 38 188 168 157 252 23 280 156 230 216 178 246 348 417 158 131 175 263 277 112 372 124 265 410 428 169 84 1 391 107 136 422 419 55 49 85 397 194 121 289 442 337 223 281 305 295 343 58 231 431 412 270 88 10 327 284 69 347 365 64 145 210 282 307 56 273 106 411 149 9 13 44 12 177 332 294 197 226 385 424 274 90 111 258 290 83 366 401 416 45 299 229 61 318 182 41 360 255 432 433 222 24 384 99 199 333 t 370 312 125 100 196 181 102 116 205 441 200 364 438 219 282 390 296 174 394 431 92 278 273 161 241 382 114 120 134 227 419 242 46 350 215 149 5 42 101 12 246 335 83 121 399 184 396 342 119 151 314 344 69 435 53 79 287 170 346 84 164 403 203 57 25 129 171 56 328 95 230 226 356 52 135 238 347 55 140 374 103 58 323 173 322 285 371 262 77 411 313 16 111 17 14 113 360 359 65 288 109 225 87 223 363 309 338 106 366 148 231 429 35 54 299 71 275 432 177 252 27 144 197 305 301 180 179 168 99 315 72 283 433 290 228 292 327 284 160 a YES a 1 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 168 169 175 176 177 178 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 9 10 12 13 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 160 168 169 175 176 177 178 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 9 10 12 23 24 27 38 41 44 45 49 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 160 168 169 175 176 177 178 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 9 10 12 23 24 27 38 41 44 45 52 54 55 56 57 58 61 64 69 70 81 83 84 85 88 90 99 106 107 110 111 112 117 121 124 125 128 131 136 140 145 148 149 156 157 158 160 168 169 175 176 177 178 179 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 9 10 12 23 24 27 38 41 44 45 52 54 55 56 57 58 61 64 69 81 83 84 85 88 90 99 106 107 110 111 112 113 117 121 124 125 128 131 136 140 145 148 149 156 157 158 160 168 169 175 176 177 178 179 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 10 12 23 24 27 35 38 41 44 45 52 54 55 56 57 58 61 64 69 81 83 84 85 88 90 99 106 107 110 111 112 113 117 121 124 125 128 131 136 140 145 148 149 156 157 158 160 168 169 175 176 177 178 179 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 10 12 23 24 27 35 38 41 44 45 52 54 55 56 57 58 61 64 69 83 84 85 87 88 90 99 106 107 110 111 112 113 117 121 124 125 128 131 136 140 145 148 149 156 157 158 160 168 169 175 176 177 178 179 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 10 12 23 24 27 35 38 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 117 121 124 125 128 131 136 140 145 148 149 156 157 158 160 168 169 170 175 176 177 178 179 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 10 12 14 23 24 27 35 38 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 117 121 124 125 131 136 140 145 148 149 156 157 158 160 168 169 170 175 176 177 178 179 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 10 12 14 23 24 27 35 38 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 117 121 124 125 131 136 140 148 149 156 157 158 160 168 169 170 175 176 177 178 179 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 10 12 14 23 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 117 121 124 125 131 136 140 148 149 156 157 158 160 168 169 170 175 176 177 178 179 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 10 12 14 23 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 117 121 124 125 131 136 140 148 149 156 158 160 168 169 170 175 176 177 178 179 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 10 12 14 23 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 168 169 170 175 177 178 179 182 188 189 194 196 197 199 205 210 216 222 223 226 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 10 12 14 23 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 168 169 170 175 177 179 182 188 189 194 196 197 199 205 210 216 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 10 12 14 23 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 168 169 170 175 177 179 182 188 189 196 197 199 205 210 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 431 432 433 435 438 442 a 5 10 12 14 23 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 168 169 170 175 177 179 182 188 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 12 14 23 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 161 168 169 170 175 177 179 182 188 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 265 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 12 14 23 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 161 168 169 170 174 175 177 179 182 188 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 270 273 274 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 442 a 5 12 14 23 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 161 168 169 170 174 175 177 179 182 188 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 270 273 277 280 281 282 284 285 289 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 23 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 92 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 161 168 169 170 174 175 177 179 182 188 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 270 273 277 281 282 284 285 289 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 23 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 92 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 161 168 169 170 174 175 177 179 182 188 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 270 273 275 277 281 282 284 285 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 90 92 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 161 168 169 170 174 175 177 179 182 188 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 270 273 275 277 281 282 284 285 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 356 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 92 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 161 168 169 170 174 175 177 179 182 184 188 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 270 273 275 277 281 282 284 285 290 294 295 296 298 299 305 307 311 314 318 324 327 332 333 337 338 343 344 347 348 350 355 356 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 92 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 161 168 169 170 174 175 177 179 182 184 188 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 270 273 275 277 281 282 284 285 290 294 296 298 299 305 307 311 313 314 318 324 327 332 333 337 338 343 344 347 348 350 355 356 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 92 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 156 158 160 161 168 169 170 174 175 177 179 182 184 188 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 270 273 275 277 281 282 284 285 290 294 296 298 299 305 307 311 313 314 318 327 332 333 337 338 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 92 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 151 156 158 160 161 168 169 170 174 175 177 179 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 258 262 263 270 273 275 277 281 282 284 285 290 294 296 298 299 305 307 311 313 314 318 327 332 333 337 338 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 385 391 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 92 99 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 151 156 158 160 161 168 169 170 174 175 177 179 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 262 263 270 273 275 277 281 282 284 285 290 294 296 298 299 305 307 311 313 314 318 327 332 333 337 338 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 385 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 151 156 158 160 161 168 169 170 174 175 177 179 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 262 263 270 273 275 277 281 282 284 285 290 294 296 298 299 305 307 311 313 314 318 327 333 337 338 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 385 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 151 156 158 160 161 168 169 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 262 263 270 273 275 277 281 282 284 285 290 296 298 299 305 307 311 313 314 318 327 333 337 338 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 385 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 24 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 151 156 158 160 161 168 169 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 262 263 270 273 275 277 281 282 284 285 290 296 298 299 305 307 311 313 314 318 327 333 338 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 92 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 151 156 158 160 161 168 169 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 262 263 270 273 275 277 281 282 284 285 290 296 298 299 305 307 311 313 314 318 322 327 333 338 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 61 64 69 83 84 87 88 92 95 99 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 262 263 270 273 275 277 281 282 284 285 290 296 298 299 305 307 311 313 314 318 322 327 333 338 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 64 69 83 84 87 88 92 95 99 100 102 106 107 110 111 112 113 116 117 121 124 125 131 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 262 263 270 273 275 277 281 282 284 285 290 296 298 299 305 307 311 313 314 318 322 327 333 338 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 64 69 83 84 87 88 92 95 99 100 102 106 107 109 110 111 112 113 116 117 121 124 125 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 262 263 270 273 275 277 281 282 284 285 290 296 298 299 305 307 311 313 314 318 322 327 333 338 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 64 69 83 84 87 88 92 95 99 100 102 106 107 109 110 111 112 113 116 117 121 124 125 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 311 313 314 322 327 333 338 343 344 346 347 348 350 355 356 360 364 365 366 372 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 64 69 83 84 87 88 92 95 99 100 102 106 107 109 110 111 112 113 116 117 121 124 125 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 311 313 314 322 327 338 343 344 346 347 348 350 355 356 359 360 364 365 366 372 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 64 69 83 84 87 88 92 95 99 100 102 106 107 109 110 111 112 113 116 117 121 124 125 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 311 313 314 322 327 338 344 346 347 348 350 355 356 359 360 364 365 366 372 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 64 69 83 84 87 88 92 95 99 100 102 106 107 109 110 111 112 113 116 117 119 121 124 125 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 311 313 314 322 327 338 344 346 347 350 355 356 359 360 364 365 366 372 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 64 69 83 84 87 88 92 95 99 100 102 106 107 109 110 111 112 113 116 117 119 121 124 125 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 311 313 314 322 327 335 338 344 346 347 350 356 359 360 364 365 366 372 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 64 69 83 84 87 88 92 95 99 100 102 106 107 109 110 111 112 113 116 117 119 121 124 125 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 311 313 314 322 327 328 335 338 344 346 347 350 356 359 360 364 366 372 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 64 69 83 84 87 88 92 95 99 100 102 106 107 109 110 111 112 113 116 117 119 121 124 125 134 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 311 313 314 322 327 328 335 338 344 346 347 350 356 359 360 364 366 380 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 41 44 45 52 54 55 56 57 58 64 69 72 83 84 87 88 92 95 99 100 102 106 107 109 110 111 112 113 116 117 119 121 124 125 134 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 311 313 314 322 327 328 335 338 344 346 347 350 356 359 360 364 366 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 44 45 52 54 55 56 57 58 64 69 72 83 84 87 88 92 95 99 100 102 106 107 109 110 111 112 113 116 117 119 121 124 125 129 134 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 311 313 314 322 327 328 335 338 344 346 347 350 356 359 360 364 366 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 45 52 54 55 56 57 58 64 69 72 83 84 87 88 92 95 99 100 101 102 106 107 109 110 111 112 113 116 117 119 121 124 125 129 134 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 311 313 314 322 327 328 335 338 344 346 347 350 356 359 360 364 366 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 45 52 54 55 56 57 58 64 69 72 83 84 87 88 92 95 99 100 101 102 106 107 109 110 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 313 314 322 327 328 335 338 344 346 347 350 356 359 360 364 366 384 385 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 45 52 54 55 56 57 58 64 69 72 83 84 87 88 92 95 99 100 101 102 106 107 109 110 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 205 216 219 222 223 226 227 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 313 314 322 327 328 335 338 344 346 347 350 356 359 360 364 366 384 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 45 52 54 55 56 57 58 64 69 72 83 84 87 92 95 99 100 101 102 106 107 109 110 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 205 216 219 222 223 226 227 228 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 313 314 322 327 328 335 338 344 346 347 350 356 359 360 364 366 384 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 42 52 54 55 56 57 58 64 69 72 83 84 87 92 95 99 100 101 102 106 107 109 110 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 205 216 219 222 223 226 227 228 229 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 313 314 322 327 328 335 338 344 346 347 350 356 359 360 364 366 384 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 42 52 54 55 56 57 58 64 69 72 83 84 87 92 95 99 100 101 102 106 107 109 110 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 205 216 219 222 223 225 226 227 228 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 313 314 322 327 328 335 338 344 346 347 350 356 359 360 364 366 384 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 42 46 52 54 55 56 57 58 64 69 72 83 84 87 92 95 99 100 101 102 106 107 109 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 205 216 219 222 223 225 226 227 228 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 313 314 322 327 328 335 338 344 346 347 350 356 359 360 364 366 384 390 391 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 42 46 52 54 55 56 57 58 64 69 72 83 84 87 92 95 99 100 101 102 106 107 109 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 205 216 219 222 223 225 226 227 228 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 305 307 313 314 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 42 46 52 54 55 56 57 58 69 72 83 84 87 92 95 99 100 101 102 106 107 109 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 205 216 219 222 223 225 226 227 228 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 301 305 307 313 314 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 27 35 42 46 52 54 55 56 57 58 69 72 83 84 87 92 95 99 100 101 102 106 109 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 205 216 219 222 223 225 226 227 228 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 301 305 307 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 25 27 35 42 46 52 54 55 56 57 58 69 72 83 84 87 92 95 99 100 101 102 106 109 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 205 219 222 223 225 226 227 228 230 231 234 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 301 305 307 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 25 27 35 42 46 52 54 55 56 57 58 69 72 83 84 87 92 95 99 100 101 102 106 109 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 205 219 222 223 225 226 227 228 230 231 241 243 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 301 305 307 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 382 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 25 27 35 42 46 52 54 55 56 57 58 69 72 83 84 87 92 95 99 100 101 102 106 109 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 205 219 222 223 225 226 227 228 230 231 241 246 252 255 262 263 270 273 275 277 281 282 284 285 288 290 296 298 299 301 305 307 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 25 27 35 42 46 52 54 55 56 57 58 69 72 83 84 87 92 95 99 100 101 102 106 109 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 174 175 177 179 180 181 182 184 189 196 197 199 200 205 219 222 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 296 298 299 301 305 307 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 25 27 35 42 46 52 54 55 56 57 58 69 72 83 84 87 92 95 99 100 101 102 106 109 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 173 174 175 177 179 180 181 182 184 189 196 197 199 200 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 296 298 299 301 305 307 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 25 27 35 42 46 52 54 55 56 57 58 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 112 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 173 174 175 177 179 180 181 182 184 189 196 197 199 200 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 296 299 301 305 307 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 25 27 35 42 46 52 54 55 56 57 58 69 72 77 83 84 87 92 95 99 100 101 102 106 109 111 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 173 174 175 177 179 180 181 182 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 296 299 301 305 307 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 25 27 35 42 46 52 54 55 56 57 58 69 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 296 299 301 305 307 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 25 27 35 42 46 52 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 296 299 301 305 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 397 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 168 170 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 296 299 301 305 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 398 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 117 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 164 168 170 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 296 299 301 305 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 124 125 129 134 135 136 140 148 149 151 156 158 160 161 164 168 170 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 292 296 299 301 305 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 136 140 148 149 151 156 158 160 161 164 168 170 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 136 140 148 149 151 156 160 161 164 168 170 171 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 399 401 407 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 136 140 148 149 151 156 160 161 164 168 170 171 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 399 401 403 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 136 140 148 149 151 156 160 161 164 168 170 171 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 399 403 410 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 136 140 148 149 151 156 160 161 164 168 170 171 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 238 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 399 403 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 140 144 148 149 151 156 160 161 164 168 170 171 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 238 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 344 346 347 350 356 359 360 364 366 371 382 384 390 394 399 403 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 238 241 246 252 255 262 270 273 275 277 281 282 284 285 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 371 382 384 390 394 399 403 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 238 241 246 252 255 262 270 273 275 277 282 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 371 382 384 390 394 399 403 411 412 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 175 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 238 241 242 246 252 255 262 270 273 275 277 282 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 371 382 384 390 394 399 403 411 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 238 241 242 246 252 255 262 270 273 275 277 282 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 364 366 371 382 384 390 394 396 399 403 411 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 238 241 242 246 252 262 270 273 275 277 282 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 371 382 384 390 394 396 399 403 411 416 417 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 238 241 242 246 252 262 270 273 275 277 282 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 371 382 384 390 394 396 399 403 411 416 419 422 424 428 429 431 432 433 435 438 441 442 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 189 196 197 199 200 203 205 219 223 225 226 227 228 230 231 238 241 242 246 252 262 270 273 275 277 282 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 371 382 384 390 394 396 399 403 411 416 419 422 424 429 431 432 433 435 438 441 442 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 114 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 199 200 203 205 219 223 225 226 227 228 230 231 238 241 242 246 252 262 270 273 275 277 282 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 371 382 384 390 394 396 399 403 411 416 419 422 424 429 431 432 433 435 438 441 442 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 114 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 200 203 205 219 223 225 226 227 228 230 231 238 241 242 246 252 262 270 273 275 277 282 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 371 374 382 384 390 394 396 399 403 411 416 419 422 424 429 431 432 433 435 438 441 442 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 114 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 200 203 205 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 277 282 283 284 285 287 288 290 292 296 299 301 305 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 371 374 382 384 390 394 396 399 403 411 416 419 422 424 429 431 432 433 435 438 441 442 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 114 116 119 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 200 203 205 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 371 374 382 384 390 394 396 399 403 411 416 419 422 424 429 431 432 433 435 438 441 442 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 200 203 205 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 371 374 382 390 394 396 399 403 411 416 419 422 424 429 431 432 433 435 438 441 442 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 200 203 205 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 371 374 382 390 394 396 399 403 411 416 419 422 429 431 432 433 435 438 441 442 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 371 374 382 390 394 396 399 403 411 416 419 429 431 432 433 435 438 441 442 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 371 374 382 390 394 396 399 403 411 416 419 429 431 432 433 435 438 441 a 5 12 14 16 17 25 27 35 42 46 52 53 54 55 56 57 58 65 69 71 72 77 79 83 84 87 92 95 99 100 101 102 103 106 109 111 113 114 116 119 120 121 125 129 134 135 140 144 148 149 151 160 161 164 168 170 171 173 174 177 179 180 181 184 196 197 200 203 205 215 219 223 225 226 227 228 230 231 238 241 242 246 252 262 273 275 278 282 283 284 285 287 288 290 292 296 299 301 305 309 312 313 314 315 322 323 327 328 335 338 342 344 346 347 350 356 359 360 363 364 366 370 371 374 382 390 394 396 399 403 411 419 429 431 432 433 435 438 441 Command being timed: "/solvers/driver/run.py --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance034_graph005.col /benchmark/random_instance/random_instance034_graph005_01.dat" User time (seconds): 0.59 System time (seconds): 0.05 Percent of CPU this job got: 142% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.46 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): 40048 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 27642 Voluntary context switches: 2659 Involuntary context switches: 13 Swaps: 0 File system inputs: 0 File system outputs: 688 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 04:34:38 2023]