KERN: Keyboard Requested Halt.
KERN: Welcome to Kernel Debugging Land...
KERN: Thread 141 "USB Keyboard 1 watcher" running on CPU 0

avail:
KERN: kdebug> avail
Available memory: 853012480/1064239104 bytes

page_stats:
KERN: kdebug> page_stats
page stats:
KERN: total: 259824
KERN: active: 4812 (busy: 0)
KERN: inactive: 115096 (busy: 0)
KERN: cached: 31163 (busy: 0)
KERN: unused: 39 (busy: 0)
KERN: wired: 50840 (busy: 0)
KERN: modified: 4 (busy: 0)
KERN: free: 57870
KERN: clear: 0
KERN: unreserved free pages: 57870
KERN: unsatisfied page reservations: 0
KERN: mapped pages: 60037
KERN: longest free pages run: 66 pages (at 207673)
KERN: longest free/cached pages run: 1526 pages (at 33263)
KERN: waiting threads:
KERN: 
KERN: free queue: 0x801669a0, count = 57870
KERN: clear queue: 0x801669b8, count = 0
KERN: modified queue: 0x80166970, count = 4 (0 temporary, 0 swappable, inactive: 0)
KERN: active queue: 0x80166940, count = 4812
KERN: inactive queue: 0x80166958, count = 115096
KERN: cached queue: 0x80166988, count = 31163

swap:
KERN: kdebug> swap
swap files:
KERN:   vnode: 0x80f7bac8, pages: total: 239360, free: 239360
KERN: 
KERN: swap space in pages:
KERN: total:        239360
KERN: available:     68472
KERN: reserved:     170888
KERN: used:              0
KERN: free:         239360