#BEGIN: [Tue Sep 26 03:14:43 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance030_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance030_graph003_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_instance030_graph003.col /benchmark/random_instance/random_instance030_graph003_01.dat c /benchmark/random_instance/random_instance030_graph003.col c /benchmark/random_instance/random_instance030_graph003_01.dat s 260 61 235 313 126 199 71 77 330 147 267 388 76 19 368 171 105 95 353 325 152 24 383 198 279 244 99 132 8 342 158 85 156 16 387 333 57 141 301 138 179 225 74 205 309 237 86 358 94 172 222 287 136 115 192 161 249 123 202 219 312 193 113 44 88 151 216 144 390 149 174 55 40 114 361 332 196 175 116 320 359 375 29 318 327 127 263 129 326 328 221 331 343 20 52 13 334 33 209 10 145 168 297 239 273 42 363 134 336 314 23 349 371 254 218 348 191 335 280 91 291 100 46 214 187 364 1 163 340 307 164 135 t 224 23 303 142 160 125 333 280 26 343 323 61 192 29 113 203 33 300 35 129 139 86 326 232 257 183 154 236 274 104 143 40 276 88 51 43 48 386 211 134 324 97 344 45 209 213 338 334 179 153 38 73 294 234 47 172 52 68 190 218 69 144 230 356 376 119 363 109 46 243 347 283 93 219 195 94 34 159 312 18 265 304 67 110 11 181 307 126 221 198 241 194 330 296 20 383 285 248 22 57 188 135 64 361 182 284 149 266 329 137 8 331 77 49 278 272 189 212 65 336 315 152 7 163 208 141 121 310 309 91 58 206 a YES a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 91 94 95 99 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 235 237 239 244 249 254 260 263 267 273 279 280 287 291 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 91 94 95 99 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 235 237 239 244 249 254 260 263 273 279 280 287 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 349 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 34 40 42 44 46 52 55 57 61 71 74 76 77 85 86 88 91 94 95 99 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 235 237 239 244 249 254 260 263 273 279 280 287 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 34 40 42 44 46 52 55 57 61 71 76 77 85 86 88 91 94 95 99 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 235 237 239 244 249 254 260 263 273 279 280 287 291 296 297 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 383 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 34 40 42 44 46 52 55 57 61 71 76 77 85 86 88 91 94 95 99 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 235 237 239 244 249 254 260 263 273 279 280 287 291 296 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 383 386 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 34 40 42 44 46 52 55 57 61 71 76 77 85 86 88 91 94 95 99 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 235 237 239 244 249 254 260 273 279 280 285 287 291 296 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 383 386 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 34 40 42 44 46 52 55 57 61 71 76 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 235 237 239 244 249 254 260 273 279 280 285 287 291 296 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 386 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 34 40 42 44 46 52 55 57 61 71 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 235 237 239 244 249 254 260 273 274 279 280 285 287 291 296 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 386 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 34 40 42 44 46 52 55 57 61 71 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 273 274 280 285 287 291 296 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 386 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 34 40 44 46 52 55 57 61 64 71 77 85 86 88 91 94 95 100 105 113 114 115 116 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 273 274 280 285 287 291 296 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 386 387 388 390 a 1 8 10 13 16 19 20 23 24 29 33 34 40 44 46 52 55 57 61 64 71 77 85 86 88 91 94 95 100 105 113 114 115 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 191 192 193 196 198 199 202 205 209 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 273 274 280 285 287 291 296 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 386 387 388 390 a 1 8 10 13 16 19 20 23 29 33 34 40 44 46 52 55 57 61 64 71 77 85 86 88 91 94 95 100 105 113 114 115 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 191 192 193 196 198 199 202 205 209 213 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 273 274 280 285 287 291 296 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 386 387 388 390 a 1 8 10 13 16 19 20 23 29 33 34 40 44 46 49 52 55 57 61 64 71 77 85 86 88 91 94 95 100 105 113 114 115 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 209 213 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 273 274 280 285 287 291 296 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 386 387 388 390 a 1 8 10 13 16 19 20 23 29 33 34 40 44 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 209 213 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 273 274 280 285 287 291 296 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 359 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 16 19 20 23 29 33 34 40 44 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 209 213 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 273 274 280 285 287 291 296 301 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 16 19 20 23 29 33 34 40 44 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 273 274 280 285 287 291 296 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 16 19 20 23 29 33 34 40 44 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 274 280 285 287 291 296 303 307 309 312 313 314 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 19 20 23 29 33 34 40 44 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 123 126 127 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 274 280 285 287 291 296 303 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 19 20 23 29 33 34 40 44 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 123 126 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 274 276 280 285 287 291 296 303 307 309 312 313 314 315 318 320 325 326 327 328 330 331 332 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 18 19 20 23 29 33 34 40 44 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 123 126 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 274 276 280 285 287 291 296 303 307 309 312 313 314 315 318 320 325 326 327 328 330 331 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 18 19 20 23 29 33 34 40 43 44 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 123 126 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 225 232 235 237 239 244 249 254 260 274 276 280 285 287 291 296 303 307 309 312 313 315 318 320 325 326 327 328 330 331 333 334 335 336 340 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 18 19 20 23 29 33 34 40 43 44 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 123 126 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 174 175 179 183 187 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 244 249 254 260 274 276 280 285 287 291 296 303 307 309 312 313 315 318 320 325 326 327 328 330 331 333 334 335 336 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 18 19 20 23 29 33 34 40 43 44 45 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 123 126 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 175 179 183 187 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 244 249 254 260 274 276 280 285 287 291 296 303 307 309 312 313 315 318 320 325 326 327 328 330 331 333 334 335 336 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 18 19 20 23 29 33 34 40 43 44 45 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 126 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 158 161 163 164 168 171 172 175 179 183 187 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 244 249 254 260 274 276 280 285 287 291 296 303 307 309 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 18 19 20 23 29 33 34 40 43 44 45 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 126 129 132 134 135 136 138 141 144 145 147 149 151 152 153 156 161 163 164 168 171 172 175 179 183 187 189 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 244 249 254 260 274 276 280 285 287 291 296 303 307 309 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 13 18 19 20 23 29 33 34 40 43 44 45 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 126 129 132 134 135 136 141 144 145 147 149 151 152 153 156 161 163 164 168 171 172 175 179 183 187 189 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 244 248 249 254 260 274 276 280 285 287 291 296 303 307 309 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 18 19 20 23 29 33 34 40 43 44 45 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 126 129 132 134 135 136 141 144 145 147 149 151 152 153 156 161 163 164 168 171 172 175 179 183 187 189 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 244 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 390 a 1 7 8 10 18 19 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 126 129 132 134 135 136 141 144 145 147 149 151 152 153 156 161 163 164 168 171 172 175 179 183 187 189 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 244 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 a 1 7 8 10 18 19 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 115 126 129 132 134 135 136 141 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 244 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 a 1 7 8 10 18 19 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 126 129 132 134 135 136 141 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 244 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 342 343 348 353 358 361 363 364 368 371 375 376 383 386 387 388 a 1 7 8 10 18 19 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 71 73 77 86 88 91 94 95 100 105 113 114 126 129 132 134 135 136 141 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 244 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 342 343 353 356 358 361 363 364 368 371 375 376 383 386 387 388 a 1 7 8 10 18 19 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 71 73 77 86 88 91 94 95 100 105 113 114 126 129 132 134 135 136 141 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 342 343 353 356 358 361 363 364 368 371 375 376 383 386 387 388 a 1 7 8 10 18 19 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 71 73 77 86 88 91 94 95 100 105 113 114 126 129 132 134 135 136 141 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 193 196 198 199 202 205 206 209 213 214 216 218 219 221 222 224 225 232 235 237 239 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 343 347 353 356 358 361 363 364 368 371 375 376 383 386 387 388 a 1 7 8 10 18 19 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 71 73 77 86 88 91 94 95 100 105 113 114 126 129 132 134 135 136 141 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 193 196 198 199 202 206 209 211 213 214 216 218 219 221 222 224 225 232 235 237 239 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 343 347 353 356 358 361 363 364 368 371 375 376 383 386 387 388 a 1 7 8 10 18 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 71 73 77 86 88 91 94 95 100 105 113 114 126 129 132 134 135 136 141 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 193 196 198 199 202 206 209 211 213 214 216 218 219 221 222 224 225 232 235 237 239 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 343 347 353 356 358 361 363 364 368 371 375 376 383 386 387 388 a 1 7 8 10 18 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 71 73 77 86 88 91 94 95 100 105 113 114 126 129 132 134 135 136 141 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 193 196 198 199 202 206 209 211 213 214 216 218 219 221 222 224 225 232 235 237 239 241 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 343 347 353 356 358 361 363 364 368 371 375 376 383 386 387 a 1 7 8 10 18 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 71 73 77 86 88 91 94 95 100 105 113 114 125 126 129 132 134 135 136 141 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 193 196 198 199 206 209 211 213 214 216 218 219 221 222 224 225 232 235 237 239 241 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 335 336 343 347 353 356 358 361 363 364 368 371 375 376 383 386 387 a 1 7 8 10 18 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 71 73 77 86 88 91 94 95 100 105 113 114 125 126 129 132 134 135 136 141 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 193 194 196 198 199 206 209 211 213 214 216 218 219 221 222 224 225 232 235 237 239 241 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 358 361 363 364 368 371 375 376 383 386 387 a 1 7 8 10 18 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 71 73 77 86 88 91 94 95 100 105 113 114 125 126 129 132 134 135 136 141 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 193 194 195 196 198 206 209 211 213 214 216 218 219 221 222 224 225 232 235 237 239 241 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 358 361 363 364 368 371 375 376 383 386 387 a 1 7 8 10 18 20 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 71 73 77 86 88 91 94 95 100 105 113 114 125 126 129 132 134 135 136 141 143 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 194 195 196 198 206 209 211 213 214 216 218 219 221 222 224 225 232 235 237 239 241 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 358 361 363 364 368 371 375 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 71 73 77 86 88 91 94 95 100 105 113 114 125 126 129 132 134 135 136 141 143 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 194 195 196 198 206 209 211 213 214 216 218 219 221 222 224 225 232 235 237 239 241 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 358 361 363 368 371 375 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 71 73 77 86 88 91 94 100 105 113 114 125 126 129 132 134 135 136 141 143 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 194 195 196 198 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 237 239 241 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 358 361 363 368 371 375 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 71 73 77 86 88 91 93 94 100 105 113 114 125 126 129 132 134 135 136 141 143 144 145 147 149 151 152 153 161 163 164 168 171 172 175 179 183 187 188 189 192 194 195 196 198 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 237 239 241 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 361 363 368 371 375 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 68 71 73 77 86 88 91 93 94 100 105 113 114 125 126 129 132 134 135 136 141 143 144 145 147 149 151 152 153 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 237 239 241 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 361 363 368 371 375 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 68 71 73 77 86 88 91 93 94 100 105 113 114 125 126 129 132 134 135 136 141 143 144 145 147 149 151 152 153 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 237 239 241 248 249 254 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 68 71 73 77 86 88 91 93 94 100 105 113 114 125 126 129 132 134 135 136 141 143 144 145 149 151 152 153 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 237 239 241 248 249 254 257 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 68 71 73 77 86 88 91 93 94 100 105 113 114 125 126 129 132 134 135 136 141 143 144 145 149 151 152 153 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 274 276 280 283 285 287 291 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 52 55 57 61 64 65 67 68 71 73 77 86 88 91 93 94 100 105 113 114 125 126 129 132 134 135 136 141 143 144 145 149 151 152 153 159 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 274 276 280 283 285 287 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 61 64 65 67 68 71 73 77 86 88 91 93 94 100 105 113 114 125 126 129 132 134 135 136 141 143 144 145 149 151 152 153 159 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 274 276 280 283 285 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 61 64 65 67 68 71 73 77 86 88 91 93 94 100 113 114 125 126 129 132 134 135 136 141 143 144 145 149 151 152 153 159 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 265 274 276 280 283 285 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 61 64 65 67 68 69 71 73 77 86 88 91 93 94 100 113 114 125 126 129 134 135 136 141 143 144 145 149 151 152 153 159 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 265 274 276 280 283 285 296 303 307 309 310 312 313 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 61 64 65 67 68 69 71 73 77 86 88 91 93 94 97 100 113 114 125 126 129 134 135 136 141 143 144 145 149 151 152 153 159 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 265 274 276 280 283 285 296 303 307 309 310 312 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 387 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 49 51 52 55 57 61 64 65 67 68 69 71 73 77 86 88 91 93 94 97 100 113 114 125 126 129 134 135 136 141 143 144 145 149 151 152 153 159 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 280 283 285 296 303 307 309 310 312 315 318 320 325 326 327 328 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 57 61 64 65 67 68 69 71 73 77 86 88 91 93 94 97 100 113 114 125 126 129 134 135 136 141 143 144 145 149 151 152 153 159 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 280 283 285 296 303 307 309 310 312 315 318 320 325 326 327 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 57 61 64 65 67 68 69 71 73 77 86 88 91 93 94 97 100 113 114 125 126 129 134 135 136 141 143 144 145 149 151 152 153 159 161 163 164 168 172 175 179 183 187 188 189 192 194 195 196 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 280 283 285 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 57 61 64 65 67 68 69 71 73 77 86 88 91 93 94 97 100 113 114 125 126 129 134 135 136 141 143 144 145 149 151 152 153 159 161 163 164 168 172 175 179 181 183 187 188 189 192 194 195 198 203 206 209 211 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 280 283 285 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 368 371 376 383 386 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 48 49 51 52 55 57 61 64 65 67 68 69 71 73 77 86 88 91 93 94 97 100 113 114 125 126 129 134 135 136 141 143 144 145 149 151 152 153 159 161 163 164 168 172 175 179 181 183 187 188 189 192 194 195 198 203 206 209 211 212 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 280 283 285 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 47 48 49 51 52 55 57 61 64 65 67 68 69 71 73 77 86 88 91 93 94 97 100 113 114 125 126 129 134 135 136 141 143 144 145 149 152 153 159 161 163 164 168 172 175 179 181 183 187 188 189 192 194 195 198 203 206 209 211 212 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 280 283 285 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 47 48 49 51 52 55 57 61 64 65 67 68 69 71 73 77 86 88 91 93 94 97 100 113 114 125 126 129 134 135 136 141 143 144 145 149 152 153 159 161 163 164 168 172 175 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 280 283 284 285 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 47 48 49 51 52 55 57 61 64 65 67 68 69 71 73 77 86 88 91 93 94 97 100 113 114 125 126 129 134 135 136 141 143 144 145 149 152 153 159 161 163 164 168 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 216 218 219 221 222 224 225 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 18 20 22 23 29 33 34 35 40 43 44 45 46 47 48 49 51 52 55 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 114 125 126 129 134 135 136 141 143 144 145 149 152 153 159 161 163 164 168 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 216 218 219 221 222 224 225 230 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 18 20 22 23 26 29 33 34 35 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 114 125 126 129 134 135 136 141 143 144 145 149 152 153 159 161 163 164 168 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 216 218 219 221 222 224 225 230 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 18 20 22 23 26 29 33 34 35 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 125 126 129 134 135 136 141 143 144 145 149 152 153 159 161 163 164 168 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 216 218 219 221 222 224 225 230 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 18 20 22 23 26 29 33 34 35 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 125 126 129 134 135 136 137 141 143 144 145 149 152 153 159 161 163 164 168 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 216 218 219 221 224 225 230 232 234 235 236 237 239 241 248 254 257 260 265 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 18 20 22 23 26 29 33 34 35 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 125 126 129 134 135 136 137 139 141 143 144 145 149 152 153 159 161 163 164 168 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 216 218 219 221 224 225 230 232 234 235 236 239 241 248 254 257 260 265 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 125 126 129 134 135 136 137 139 141 143 144 145 149 152 153 159 161 163 164 168 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 225 230 232 234 235 236 239 241 248 254 257 260 265 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 125 126 129 134 135 136 137 139 141 143 144 145 149 152 153 159 161 163 164 168 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 235 236 239 241 248 254 257 260 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 318 320 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 125 126 129 134 135 136 137 139 141 143 144 145 149 152 153 159 161 163 164 168 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 235 236 239 241 248 254 257 260 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 125 126 129 134 135 136 137 139 141 143 144 145 149 152 153 159 161 163 164 168 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 236 239 241 248 254 257 260 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 125 126 129 134 135 136 137 139 141 143 144 145 149 152 153 154 159 161 163 164 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 236 239 241 248 254 257 260 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 325 326 329 330 331 333 334 336 343 347 353 356 361 363 371 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 125 126 129 134 135 136 137 139 141 143 144 145 149 152 153 154 159 161 163 164 172 179 181 183 188 189 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 236 239 241 243 248 254 257 260 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 325 326 329 330 331 333 334 336 343 347 353 356 361 363 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 113 125 126 129 134 135 136 137 139 141 143 144 149 152 153 154 159 161 163 164 172 179 181 183 188 189 190 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 236 239 241 243 248 254 257 260 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 325 326 329 330 331 333 334 336 343 347 353 356 361 363 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 100 104 113 125 126 129 134 135 136 137 139 141 143 144 149 152 153 154 159 161 163 164 172 179 181 183 188 189 190 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 236 239 241 243 248 254 257 260 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 326 329 330 331 333 334 336 343 347 353 356 361 363 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 113 125 126 129 134 135 136 137 139 141 143 144 149 152 153 154 159 161 163 164 172 179 181 183 188 189 190 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 236 239 241 243 248 254 257 260 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 347 353 356 361 363 376 383 386 a 1 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 113 119 125 126 129 134 135 136 137 139 141 143 144 149 152 153 154 159 161 163 164 172 179 181 183 188 189 190 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 236 239 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 347 353 356 361 363 376 383 386 a 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 113 119 125 126 129 134 135 136 137 139 141 143 144 149 152 153 154 159 161 163 164 172 179 181 182 183 188 189 190 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 236 239 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 347 353 356 361 363 376 383 386 a 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 113 119 121 125 126 129 134 135 136 137 139 141 143 144 149 152 153 154 159 161 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 236 239 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 347 353 356 361 363 376 383 386 a 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 113 119 121 125 126 129 134 135 136 137 139 141 142 143 144 149 152 153 154 159 161 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 209 211 212 213 214 218 219 221 224 230 232 234 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 347 353 356 361 363 376 383 386 a 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 113 119 121 125 126 129 134 135 136 137 139 141 142 143 144 149 152 153 154 159 161 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 347 353 356 361 363 376 383 386 a 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 44 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 161 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 347 353 356 361 363 376 383 386 a 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 161 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 347 353 356 361 363 376 383 386 a 7 8 10 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 344 347 353 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 343 344 347 353 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 254 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 274 276 278 280 283 284 285 294 296 303 304 307 309 310 312 315 320 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 a 7 8 11 18 20 22 23 26 29 33 34 35 38 40 43 45 46 47 48 49 51 52 57 58 61 64 65 67 68 69 73 77 86 88 91 93 94 97 104 109 110 113 119 121 125 126 129 134 135 137 139 141 142 143 144 149 152 153 154 159 160 163 172 179 181 182 183 188 189 190 192 194 195 198 203 206 208 209 211 212 213 218 219 221 224 230 232 234 236 241 243 248 257 265 266 272 274 276 278 280 283 284 285 294 296 300 303 304 307 309 310 312 315 323 324 326 329 330 331 333 334 336 338 343 344 347 356 361 363 376 383 386 c Step: 85 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance030_graph003.col /benchmark/random_instance/random_instance030_graph003_01.dat" User time (seconds): 43.54 System time (seconds): 0.39 Percent of CPU this job got: 319% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:13.76 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): 372200 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 232133 Voluntary context switches: 9677 Involuntary context switches: 105 Swaps: 0 File system inputs: 0 File system outputs: 576 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:14:57 2023]