#BEGIN: [Thu Sep 7 20:52:01 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance029_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance029_graph004_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance029_graph004.col /benchmark/random_instance/random_instance029_graph004_01.dat s 65 32 250 199 207 285 91 360 280 141 94 10 340 43 119 18 156 44 59 209 12 1 179 203 231 246 258 173 221 248 274 131 75 298 86 132 186 189 352 279 324 300 108 204 128 297 163 222 15 367 26 342 267 311 322 366 210 139 47 341 247 358 58 356 135 70 272 296 127 83 242 229 276 100 289 304 369 347 87 310 271 213 344 238 102 235 82 353 346 191 122 118 89 72 78 359 85 190 370 301 55 334 64 211 192 144 168 76 264 74 115 314 200 374 249 278 3 330 335 24 134 197 95 281 216 t 286 348 353 45 208 27 10 115 112 119 254 280 142 124 21 340 87 125 1 212 317 223 260 23 270 56 89 307 176 295 370 298 150 84 351 263 252 240 220 71 155 116 144 243 100 9 329 313 141 294 365 146 157 322 253 326 47 36 328 131 94 255 41 219 297 154 3 218 269 292 290 327 357 267 15 374 230 359 275 195 206 145 78 296 98 20 306 188 302 58 346 184 101 214 6 179 197 60 72 249 222 216 85 54 318 278 28 213 113 170 8 82 282 311 341 305 66 127 192 312 61 33 30 31 24 a YES a 1 3 10 12 15 18 24 26 32 43 44 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 156 163 168 173 179 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 44 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 146 156 163 168 173 179 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 8 10 12 15 18 24 26 32 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 146 156 163 168 173 179 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 8 10 12 15 18 24 26 32 47 55 58 59 64 65 70 72 74 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 146 156 163 168 173 179 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 8 10 15 18 24 26 32 47 55 58 59 64 65 70 72 74 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 124 127 128 131 132 134 135 139 141 144 146 156 163 168 173 179 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 8 10 15 18 24 26 32 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 124 127 128 131 132 134 135 139 141 144 146 156 163 168 173 179 184 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 8 10 15 18 24 26 32 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 135 139 141 144 146 156 163 168 173 179 184 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 8 10 15 18 24 26 32 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 135 141 144 146 156 163 168 173 179 184 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 8 10 15 18 24 26 32 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 156 163 168 170 173 179 184 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 8 10 15 18 24 26 32 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 173 179 184 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 18 24 26 32 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 18 24 26 32 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 26 32 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 255 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 26 32 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 209 210 211 213 216 221 222 229 231 235 238 240 242 246 247 248 249 250 255 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 26 32 33 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 209 210 211 213 216 222 229 231 235 238 240 242 246 247 248 249 250 255 258 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 26 32 33 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 209 210 211 213 216 222 229 231 238 240 242 246 247 248 249 250 255 258 263 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 28 32 33 47 55 58 59 64 65 70 72 74 78 82 83 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 209 210 211 213 216 222 229 231 238 240 242 246 247 248 249 250 255 258 263 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 28 32 33 41 47 55 58 59 64 65 70 72 74 78 82 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 209 210 211 213 216 222 229 231 238 240 242 246 247 248 249 250 255 258 263 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 28 30 32 33 41 47 55 58 59 64 65 70 72 74 78 82 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 209 210 211 213 216 222 229 231 238 240 246 247 248 249 250 255 258 263 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 28 30 32 33 41 47 55 58 59 64 65 70 72 74 78 82 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 206 209 210 211 213 216 222 229 231 238 240 247 248 249 250 255 258 263 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 28 30 32 33 41 47 55 58 59 60 64 65 70 72 74 78 82 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 206 209 210 211 213 216 222 229 231 238 240 247 249 250 255 258 263 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 28 30 32 33 41 47 55 58 59 60 65 70 72 74 78 82 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 206 209 210 211 213 216 222 229 231 238 240 247 249 250 255 258 263 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 28 30 32 33 41 45 47 55 58 59 60 65 70 72 74 78 82 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 206 209 210 211 213 216 222 229 231 238 240 247 249 255 258 263 264 267 271 272 274 276 278 279 280 281 285 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 28 30 32 33 41 45 47 55 58 59 60 65 70 72 74 78 82 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 189 190 191 192 197 199 200 204 206 209 210 211 213 216 222 229 231 238 240 247 249 255 263 264 267 271 272 274 276 278 279 280 281 285 286 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 28 30 32 33 41 45 47 55 58 59 60 65 70 72 74 78 82 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 188 189 190 191 192 197 199 200 204 206 209 210 211 213 216 222 229 231 238 240 247 249 255 263 267 271 272 274 276 278 279 280 281 285 286 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 28 30 32 33 41 45 47 55 58 59 60 65 70 72 74 78 82 85 86 87 89 91 94 95 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 188 189 190 191 192 197 199 200 204 206 209 210 211 213 216 222 223 229 231 238 240 247 249 255 263 267 271 274 276 278 279 280 281 285 286 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 28 30 32 33 41 45 47 55 58 59 60 65 70 72 74 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 188 189 190 191 192 197 199 200 204 206 209 210 211 213 216 222 223 229 231 238 240 249 255 263 267 271 274 276 278 279 280 281 285 286 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 27 28 30 32 33 41 45 47 55 58 59 60 65 70 72 74 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 188 189 190 191 192 197 199 200 204 206 209 210 211 213 216 222 223 229 231 238 240 249 255 263 267 271 274 278 279 280 281 285 286 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 27 28 30 32 33 41 45 47 55 58 59 60 65 70 72 74 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 188 189 190 191 192 197 199 200 204 206 209 210 211 213 216 222 223 229 231 238 240 249 255 263 267 271 274 278 279 280 282 285 286 289 294 296 297 298 300 301 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 27 28 30 32 33 41 45 47 55 58 59 60 65 70 72 74 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 188 189 190 191 192 197 199 200 204 206 209 210 211 213 216 218 222 223 229 231 238 240 249 255 263 267 271 274 278 279 280 282 285 286 289 294 296 297 298 300 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 27 28 30 33 41 45 47 55 58 59 60 65 70 72 74 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 188 189 190 191 192 197 199 200 204 206 209 210 211 213 216 218 222 223 229 231 238 240 249 252 255 263 267 271 274 278 279 280 282 285 286 289 294 296 297 298 300 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 27 28 30 33 41 45 47 58 59 60 65 70 72 74 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 188 189 190 191 192 197 199 200 204 206 209 210 211 213 216 218 222 223 229 231 238 240 249 252 255 263 267 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 27 28 30 33 41 45 47 58 60 65 70 72 74 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 188 189 190 191 192 197 199 200 204 206 209 210 211 213 216 218 222 223 229 231 238 240 249 252 255 263 267 269 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 27 28 30 33 41 45 47 58 60 65 70 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 163 168 170 179 184 186 188 189 190 191 192 197 199 200 204 206 209 210 211 213 216 218 219 222 223 229 231 238 240 249 252 255 263 267 269 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 366 367 369 370 374 a 1 3 6 8 10 15 24 27 28 30 33 41 45 47 58 60 65 70 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 168 170 179 184 186 188 189 190 191 192 197 199 200 204 206 209 210 211 213 216 218 219 222 223 229 231 238 240 249 252 255 263 267 269 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 24 27 28 30 33 41 45 47 58 60 65 70 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 168 170 179 184 186 188 189 190 191 192 197 200 204 206 209 210 211 213 216 218 219 222 223 229 231 238 240 249 252 255 263 267 269 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 307 310 311 312 314 322 324 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 24 27 28 30 33 41 45 47 58 60 65 70 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 168 170 179 184 186 188 189 190 191 192 197 200 204 206 209 210 211 213 216 218 219 222 223 229 231 238 240 249 252 255 263 267 269 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 307 310 311 312 322 324 326 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 24 27 28 30 33 41 45 47 58 60 70 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 168 170 179 184 186 188 189 190 191 192 197 200 204 206 209 210 211 213 216 218 219 222 223 229 231 238 240 249 252 255 263 267 269 270 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 307 310 311 312 322 324 326 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 24 27 28 30 33 41 45 47 58 60 70 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 168 170 179 184 186 188 189 190 191 192 197 200 204 206 209 210 211 213 216 218 219 222 223 231 238 240 249 252 255 263 267 269 270 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 322 324 326 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 24 27 28 30 33 41 45 47 58 60 70 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 122 124 127 128 131 132 134 141 144 146 168 170 179 184 186 188 189 190 191 192 197 200 204 206 209 210 213 214 216 218 219 222 223 231 238 240 249 252 255 263 267 269 270 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 322 324 326 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 24 27 28 30 33 41 45 47 58 60 70 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 124 127 128 131 132 134 141 144 146 150 168 170 179 184 186 188 189 190 191 192 197 200 204 206 209 210 213 214 216 218 219 222 223 231 238 240 249 252 255 263 267 269 270 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 322 324 326 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 24 27 28 30 33 41 45 47 58 60 70 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 124 127 131 132 134 141 144 146 150 168 170 179 184 186 188 189 190 191 192 197 200 204 206 209 210 213 214 216 218 219 222 223 231 238 240 249 252 255 263 267 269 270 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 322 324 326 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 24 27 28 30 33 41 45 47 58 60 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 124 127 131 132 134 141 144 146 150 168 170 179 184 186 188 189 190 191 192 197 200 204 206 209 210 213 214 216 218 219 222 223 231 238 240 249 252 254 255 263 267 269 270 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 322 324 326 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 24 27 28 30 33 41 45 47 58 60 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 124 127 131 132 134 141 144 146 150 168 170 179 184 186 188 189 190 192 197 200 204 206 209 210 213 214 216 218 219 222 223 231 238 240 249 252 254 255 263 267 269 270 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 322 324 326 328 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 24 27 28 30 33 41 45 47 58 60 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 124 127 131 132 141 144 146 150 168 170 179 184 186 188 189 190 192 197 200 204 206 209 210 213 214 216 218 219 222 223 231 238 240 243 249 252 254 255 263 267 269 270 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 322 324 326 328 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 24 27 28 30 33 41 45 47 58 60 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 124 127 131 132 141 144 146 150 168 170 179 184 186 188 190 192 197 200 204 206 209 210 213 214 216 218 219 222 223 231 238 240 243 249 252 254 255 263 267 269 270 271 274 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 313 322 324 326 328 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 24 27 28 30 33 41 45 47 58 60 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 124 127 131 132 141 144 146 150 168 170 179 184 186 188 190 192 197 200 204 206 209 210 213 214 216 218 219 222 223 231 238 240 243 249 252 254 255 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 313 318 322 324 326 328 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 24 27 28 30 33 41 45 47 58 60 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 124 127 131 132 141 144 146 150 168 170 179 184 186 188 190 192 197 204 206 209 210 213 214 216 218 219 222 223 231 238 240 243 249 252 254 255 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 313 318 322 324 326 327 328 329 330 334 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 24 27 28 30 33 41 45 47 56 58 60 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 124 127 131 132 141 144 146 150 168 170 179 184 186 188 190 192 197 204 206 209 210 213 214 216 218 219 222 223 231 238 240 243 249 252 254 255 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 313 318 322 324 326 327 328 329 330 335 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 23 24 27 28 30 33 41 45 47 56 58 60 72 78 82 85 86 87 89 91 94 95 98 100 102 113 115 118 119 124 127 131 132 141 144 146 150 168 170 179 184 186 188 190 192 197 204 206 209 210 213 214 216 218 219 222 223 231 238 240 243 249 252 254 255 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 313 318 322 324 326 327 328 329 330 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 23 24 27 28 30 33 41 45 47 56 58 60 72 78 82 85 87 89 91 94 95 98 100 102 113 115 118 119 124 127 131 132 141 144 146 150 168 170 179 184 186 188 190 192 197 204 206 209 210 213 214 216 218 219 222 223 231 238 240 243 249 252 253 254 255 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 306 307 310 311 312 313 318 322 324 326 327 328 329 330 340 341 342 344 346 347 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 23 24 27 28 30 33 41 45 47 56 58 60 72 78 82 85 87 89 91 94 95 98 100 102 113 115 118 119 124 127 131 132 141 144 146 150 168 170 179 184 186 188 190 192 197 204 206 209 210 213 214 216 218 219 222 223 231 238 240 243 249 252 253 254 255 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 313 318 322 324 326 327 328 329 330 340 341 342 344 346 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 23 24 27 28 30 33 41 45 47 56 58 60 72 78 82 85 87 89 94 95 98 100 102 113 115 118 119 124 127 131 132 141 142 144 146 150 168 170 179 184 186 188 190 192 197 204 206 209 210 213 214 216 218 219 222 223 231 238 240 243 249 252 253 254 255 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 313 318 322 324 326 327 328 329 330 340 341 342 344 346 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 23 24 27 28 30 33 41 45 47 56 58 60 72 78 82 85 87 89 94 95 98 100 102 113 115 118 119 124 127 131 132 141 142 144 146 150 168 170 179 184 186 188 190 192 197 204 206 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 352 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 56 58 60 72 78 82 85 87 89 94 95 98 100 102 113 115 118 119 124 127 131 132 141 142 144 146 150 168 170 179 184 186 188 190 192 197 204 206 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 56 58 60 72 78 82 85 87 89 94 98 100 102 113 115 118 119 124 127 131 132 141 142 144 146 150 155 168 170 179 184 186 188 190 192 197 204 206 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 353 356 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 56 58 60 71 72 78 82 85 87 89 94 98 100 102 113 115 118 119 124 127 131 132 141 142 144 146 150 155 168 170 179 184 186 188 190 192 197 204 206 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 353 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 56 58 60 71 72 78 82 85 87 89 94 98 100 113 115 118 119 124 127 131 132 141 142 144 146 150 155 168 170 179 184 186 188 190 192 197 204 206 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 353 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 56 58 60 71 72 78 82 85 87 89 94 98 100 113 115 119 124 127 131 132 141 142 144 146 150 155 168 170 179 184 186 188 190 192 195 197 204 206 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 279 280 282 285 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 353 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 56 58 60 71 72 78 82 85 87 89 94 98 100 113 115 119 124 127 131 141 142 144 146 150 155 168 170 179 184 186 188 190 192 195 197 204 206 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 279 280 282 285 286 289 290 294 295 296 297 298 300 304 305 306 307 310 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 353 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 54 56 58 60 71 72 78 82 85 87 89 94 98 100 113 115 119 124 127 131 141 142 144 146 150 155 168 170 179 184 186 188 190 192 195 197 204 206 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 279 280 282 285 286 289 290 294 295 296 297 298 300 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 353 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 54 56 58 60 71 72 78 82 85 87 89 94 98 100 113 115 119 124 127 131 141 142 144 146 150 155 168 170 179 184 186 188 190 192 195 197 204 206 208 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 280 282 285 286 289 290 294 295 296 297 298 300 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 353 357 358 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 54 56 58 60 71 72 78 82 85 87 89 94 98 100 113 115 119 124 127 131 141 142 144 146 150 155 168 170 179 184 186 188 190 192 195 197 204 206 208 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 280 282 285 286 289 290 294 295 296 297 298 300 302 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 353 357 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 54 56 58 60 71 72 78 82 85 87 89 94 98 100 113 115 119 124 127 131 141 142 144 146 150 154 155 170 179 184 186 188 190 192 195 197 204 206 208 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 280 282 285 286 289 290 294 295 296 297 298 300 302 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 353 357 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 54 56 58 60 66 71 72 78 82 85 87 89 94 98 100 113 115 119 124 127 131 141 142 144 146 150 154 155 170 179 184 188 190 192 195 197 204 206 208 209 210 213 214 216 218 219 220 222 223 231 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 280 282 285 286 289 290 294 295 296 297 298 300 302 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 353 357 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 54 56 58 60 66 71 72 78 82 85 87 89 94 98 100 113 115 119 124 127 131 141 142 144 146 150 154 155 170 179 184 188 190 192 195 197 204 206 208 209 210 213 214 216 218 219 220 222 223 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 280 282 285 286 289 290 294 295 296 297 298 300 302 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 351 353 357 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 54 56 58 60 66 71 72 78 82 85 87 89 94 98 100 113 115 116 119 124 127 131 141 142 144 146 150 154 155 170 179 184 188 190 192 195 197 204 206 208 209 210 213 214 216 218 219 220 222 223 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 280 282 285 286 289 290 294 295 296 297 298 302 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 344 346 351 353 357 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 33 41 45 47 54 56 58 60 66 71 72 78 82 85 87 89 94 98 100 101 113 115 116 119 124 127 131 141 142 144 146 150 154 155 170 179 184 188 190 192 195 197 204 206 208 209 210 213 214 216 218 219 220 222 223 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 280 282 285 286 289 290 294 295 296 297 298 302 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 346 351 353 357 359 360 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 41 45 47 54 56 58 60 66 71 72 78 82 85 87 89 94 98 100 101 113 115 116 119 124 127 131 141 142 144 146 150 154 155 170 179 184 188 190 192 195 197 204 206 208 209 210 213 214 216 218 219 220 222 223 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 280 282 285 286 289 290 294 295 296 297 298 302 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 346 351 353 357 359 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 41 45 47 54 56 58 60 66 71 72 78 82 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 146 150 154 155 170 179 184 188 192 195 197 204 206 208 209 210 213 214 216 218 219 220 222 223 238 240 243 249 252 253 254 255 260 263 267 269 270 271 278 280 282 285 286 289 290 294 295 296 297 298 302 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 346 351 353 357 359 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 41 45 47 54 56 58 60 66 71 72 78 82 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 146 150 154 155 170 176 179 184 188 192 195 197 204 206 208 209 210 213 214 216 218 219 220 222 223 238 240 243 249 252 253 254 255 260 263 267 269 270 278 280 282 285 286 289 290 294 295 296 297 298 302 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 346 351 353 357 359 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 41 45 47 54 56 58 60 66 71 72 78 82 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 146 150 154 155 170 176 179 184 188 192 195 197 206 208 209 210 213 214 216 218 219 220 222 223 230 238 240 243 249 252 253 254 255 260 263 267 269 270 278 280 282 285 286 289 290 294 295 296 297 298 302 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 346 351 353 357 359 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 41 45 47 54 56 58 60 61 66 71 72 78 82 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 146 150 154 155 170 176 179 184 188 192 195 197 206 208 209 210 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 278 280 282 285 286 289 290 294 295 296 297 298 302 304 305 306 307 311 312 313 318 322 326 327 328 329 330 340 341 342 346 351 353 357 359 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 41 45 47 54 56 58 60 61 66 71 72 78 82 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 146 150 154 155 170 176 179 184 188 192 195 197 206 208 209 210 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 278 280 282 286 289 290 294 295 296 297 298 302 304 305 306 307 311 312 313 317 318 322 326 327 328 329 330 340 341 342 346 351 353 357 359 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 41 45 47 54 56 58 60 61 66 71 72 78 82 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 145 146 150 154 155 170 176 179 184 188 192 195 197 206 208 209 210 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 278 280 282 286 290 294 295 296 297 298 302 304 305 306 307 311 312 313 317 318 322 326 327 328 329 330 340 341 342 346 351 353 357 359 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 41 45 47 54 56 58 60 61 66 71 72 78 82 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 145 146 150 154 155 170 176 179 184 188 192 195 197 206 208 209 210 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 278 280 282 286 290 294 295 296 297 298 302 304 305 306 307 311 312 313 317 318 322 326 327 328 329 330 340 341 346 348 351 353 357 359 365 366 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 41 45 47 54 56 58 60 61 66 71 72 78 82 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 145 146 150 154 155 170 176 179 184 188 192 195 197 206 208 209 210 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 278 280 282 286 290 294 295 296 297 298 302 304 305 306 307 311 312 313 317 318 322 326 327 328 329 330 340 341 346 348 351 353 357 359 365 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 41 45 47 54 56 58 60 61 66 71 72 78 82 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 192 195 197 206 208 210 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 278 280 282 286 290 294 295 296 297 298 302 304 305 306 307 311 312 313 317 318 322 326 327 328 329 330 340 341 346 348 351 353 357 359 365 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 41 45 47 54 56 58 60 61 66 71 72 78 82 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 192 195 197 206 208 210 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 294 295 296 297 298 302 304 305 306 307 311 312 313 317 318 322 326 327 328 329 340 341 346 348 351 353 357 359 365 367 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 71 72 78 82 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 192 195 197 206 208 210 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 294 295 296 297 298 302 304 305 306 307 311 312 313 317 318 322 326 327 328 329 340 341 346 348 351 353 357 359 365 369 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 192 195 197 206 208 210 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 294 295 296 297 298 302 304 305 306 307 311 312 313 317 318 322 326 327 328 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 192 195 197 206 208 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 294 295 296 297 298 302 304 305 306 307 311 312 313 317 318 322 326 327 328 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 192 195 197 206 208 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 292 294 295 296 297 298 302 305 306 307 311 312 313 317 318 322 326 327 328 329 340 341 346 348 351 353 357 359 365 370 374 Command being timed: "/solvers/driver/run.py --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance029_graph004.col /benchmark/random_instance/random_instance029_graph004_01.dat" User time (seconds): 0.95 System time (seconds): 0.07 Percent of CPU this job got: 123% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.83 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): 48032 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 31736 Voluntary context switches: 5459 Involuntary context switches: 17 Swaps: 0 File system inputs: 0 File system outputs: 648 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 20:52:02 2023]