Mac mini で謎トラブル

うちの研究室の学生用端末はみんな Mac mini なんですが、先日とある学生が「なんか調子悪いっす」というので、top で変なプロセスがいないかとか、いろいろみてたんですが、結局わからなくてふと log をのぞいたらこんなのがいっぱい。
[code:plain]
Sep 3 16:43:48 macmini3 kernel[0]: stampWait: Overflowed checking for stamp 0x0 on MAIN ring: called from
Sep 3 16:43:48 macmini3 kernel[0]: timestamp = 0x8024f028
Sep 3 16:43:48 macmini3 kernel[0]: **** Debug info for *possible* hang in MAIN graphics engine ****
Sep 3 16:43:48 macmini3 kernel[0]: ring head = 0x5c804250, wrap count = 740
Sep 3 16:43:48 macmini3 kernel[0]: ring tail = 0x00004250
Sep 3 16:43:48 macmini3 kernel[0]: ring control = 0x0000f001 enabled, auto report disabled, not waiting, semaphore not waiting, length = 0x010 4KB pages
Sep 3 16:43:48 macmini3 kernel[0]: timestamps = 0x8024f028
Sep 3 16:43:48 macmini3 kernel[0]: Semaphore register values:
Sep 3 16:43:48 macmini3 kernel[0]: VRSYNC: (0x12044) = 0x8024f028
Sep 3 16:43:48 macmini3 kernel[0]: BRSYNC: (0x22040) = 0x0
Sep 3 16:43:48 macmini3 kernel[0]: RVSYNC: (0x 2040) = 0x0
Sep 3 16:43:48 macmini3 kernel[0]: BVSYNC: (0x22044) = 0x0
Sep 3 16:43:48 macmini3 kernel[0]: RBSYNC: (0x 2044) = 0x0
Sep 3 16:43:48 macmini3 kernel[0]: VBSYNC: (0x12040) = 0x0
[/code]
Userland のトラブルじゃないし、やむなく reboot しました。Intel HD3000 Graphics なモデルなのですけれど、なんでかねー。