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