| Group (cost=2372.70..2375.25 rows=203 width=4) |
| Group Key: in_device |
| -> Sort (cost=2372.70..2373.97 rows=510 width=4) |
| Sort Key: in_device |
| -> Seq Scan on tbl_punch (cost=0.00..2349.76 rows=510 width=4) |
| Filter: ((in_device IS NOT NULL) AND (user_id = 1000)) |