| Group (cost=4504.79..4507.78 rows=203 width=4) |
| Group Key: in_device |
| -> Sort (cost=4504.79..4506.29 rows=598 width=4) |
| Sort Key: in_device |
| -> Seq Scan on tbl_punch (cost=0.00..4477.21 rows=598 width=4) |
| Filter: ((in_device IS NOT NULL) AND (user_id = 1000)) |