| Group (cost=2493.08..2495.69 rows=171 width=4) |
| Group Key: out_device |
| -> Sort (cost=2493.08..2494.39 rows=523 width=4) |
| Sort Key: out_device |
| -> Seq Scan on tbl_punch (cost=0.00..2469.46 rows=523 width=4) |
| Filter: ((out_device IS NOT NULL) AND (user_id = 1000)) |