This came in via email the day after I restarted the system:
messages:
> SMP: AP CPU #11 Launched!
> SMP: AP CPU #18 Launched!
> SMP: AP CPU #19 Launched!
> SMP: AP CPU #30 Launched!
> SMP: AP CPU #7 Launched!
> SMP: AP CPU #24 Launched!
> SMP: AP CPU #29 Launched!
> SMP: AP CPU #26 Launched!
> SMP: AP CPU #22 Launched!
> SMP: AP CPU #16 Launched!
> SMP: AP CPU #2 Launched!
> SMP: AP CPU #13 Launched!
> SMP: AP CPU #14 Launched!
> SMP: AP CPU #27 Launched!
> SMP: AP CPU #6 Launched!
> SMP: AP CPU #10 Launched!
> SMP: AP CPU #25 Launched!
> SMP: AP CPU #28 Launched!
> SMP: AP CPU #4 Launched!
> SMP: AP CPU #21 Launched!
> SMP: AP CPU #17 Launched!
> Timecounter "TSC" frequency
2100039012 Hz quality 1000
> uhub0: <0x8086 XHCI root HUB, class 9/0, rev 3.00/1.00, addr 1> on usbus0
> uhub1: 2 ports with 2 removable, self powered
> uhub3 numa-domain 0 on uhub2
> uhub3: <vendor 0x8087 product 0x8002, class 9/0, rev 2.00/0.05, addr 2> on usbus2
> ugen1.2: <vendor 0x8087 product 0x800a> at usbus1
> uhub4 numa-domain 0 on uhub1
> uhub4: <vendor 0x8087 product 0x800a, class 9/0, rev 2.00/0.05, addr 2> on usbus1
> uhub4: 6 ports with 6 removable, self powered
> uhub3: 8 ports with 8 removable, self powered
> da0: da4: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> ada0 at ahcich0 bus 0 scbus0 target 0 lun 0
> da0: Serial Number 7PG70NYR
> da0: 9537536MB (
19532873728 512 byte sectors)
> da6 at hptnr0 bus 0 scbus11 target 6 lun 0
> da1 at hptnr0 bus 0 scbus11 target 1 lun 0
> da6: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da6: Serial Number 7PGGUL3G
> da6: 9537536MB (
19532873728 512 byte sectors)
> da12 at hptnr0 bus 0 scbus11 target 12 lun 0
> da12: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> ada0: <SanDisk SD8SBAT128G1122 Z2333000> ACS-2 ATA SATA 3.x device
> ada0: Serial Number
162614405539
> ada1 at ahcich1 bus 0 scbus1 target 0 lun 0
> da10: 9537536MB (
19532873728 512 byte sectors)
> da16 at hptnr0 bus 0 scbus11 target 16 lun 0
> ada1: <SanDisk SD8SBAT128G1122 Z2333000> ACS-2 ATA SATA 3.x device
> ada1: Serial Number
162614405494
> ada1: 600.000MB/s transfersda12: Serial Number 7PGHUJZG
> da12: 9537536MB (
19532873728 512 byte sectors)
> da18 at hptnr0 bus 0 scbus11 target 18 lun 0
> da18: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da18: Serial Number 7PGHU3AG
> da3: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da3: Serial Number 7PGAN7GG
> da3: 9537536MB (
19532873728 512 byte sectors)
> da9 at hptnr0 bus 0 scbus11 target 9 lun 0
> da16: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da20: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da20: Serial Number 7PGJ11UG
> da5: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da9: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da9: Serial Number 7PGJ01UG
> da9: 9537536MB (
19532873728 512 byte sectors)
> da15 at hptnr0 bus 0 scbus11 target 15 lun 0
> (SATA 3.x, UDMA6, PIO 512bytes)
> ada1: Command Queueing enabled
> da15: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da1: da5: Serial Number 7PGHRX3G
> da5: 9537536MB (
19532873728 512 byte sectors)
> da11 at hptnr0 bus 0 scbus11 target 11 lun 0
> da11: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da11: Serial Number 7PGH521G
> da16: Serial Number 7PGB800G
> da16: 9537536MB (
19532873728 512 byte sectors)
> da22 at hptnr0 bus 0 scbus11 target 22 lun 0
> da22: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da22: Serial Number 7PG5KYLR
> da22: 9537536MB (
19532873728 512 byte sectors)
> da28 at hptnr0 bus 0 scbus11 target 28 lun 0
> da28: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da28: Serial Number 7PJYJ5GC
> da28: 9537536MB (
19532873728 512 byte sectors)
> da35 at hptnr1 bus 0 scbus12 target 3 lun 0
> da35: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da35: Serial Number 2TJ9BUND
> da35: 9537536MB (
19532873728 512 byte sectors)
> da1: Serial Number 7PG7RPJR
> da1: 9537536MB (
19532873728 512 byte sectors)
> da7 at hptnr0 bus 0 scbus11 target 7 lun 0
> da33: Serial Number 2TJ9667D
> da33: 9537536MB (
19532873728 512 byte sectors)
> da39 at umass-sim0 bus 0 scbus13 target 0 lun 0
> da39: <Kingston DataTraveler 3.
0 PMAP> Removable Direct Access SPC-4 SCSI device
> da30: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da7: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da7: Serial Number 7PGHUJJG
> da7: 9537536MB (
19532873728 512 byte sectors)
> da13 at hptnr0 bus 0 scbus11 target 13 lun 0
> da13: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da13: Serial Number 7PGG469G
> da13: 9537536MB (
19532873728 512 byte sectors)
> da19 at hptnr0 bus 0 scbus11 target 19 lun 0
> da11: 9537536MB (
19532873728 512 byte sectors)
> da17 at hptnr0 bus 0 scbus11 target 17 lun 0
> da17: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da17: Serial Number 7PGHSUHG
> da17: 9537536MB (
19532873728 512 byte sectors)
> da23 at hptnr0 bus 0 scbus11 target 23 lun 0
> da23: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da23: Serial Number 7PG7HTBR
> da23: 9537536MB (
19532873728 512 byte sectors)
> da29 at hptnr0 bus 0 scbus11 target 29 lun 0
> da30: Serial Number 7PJYD7KC
> da38: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da38: Serial Number 2YHT4BDD
> da38: 9537536MB (
19532873728 512 byte sectors)
> da30: 9537536MB (
19532873728 512 byte sectors)
> da29: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da29: Serial Number 7PJYMASC
> da29: 9537536MB (
19532873728 512 byte sectors)
> da15: Serial Number 7PGHU7RG
> da36 at hptnr1 bus 0 scbus12 target 4 lun 0
> da15: 9537536MB (
19532873728 512 byte sectors)
> da21 at hptnr0 bus 0 scbus11 target 21 lun 0
> da21: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da21: Serial Number 7PGE84AG
> da21: 9537536MB (
19532873728 512 byte sectors)
> da27 at hptnr0 bus 0 scbus11 target 27 lun 0
> da27: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da27: Serial Number 7PJYP78C
> da27: 9537536MB (
19532873728 512 byte sectors)
> da34 at hptnr1 bus 0 scbus12 target 2 lun 0
> da37 at hptnr1 bus 0 scbus12 target 5 lun 0
> da37: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da37: Serial Number 2YHS6RND
> da37: 9537536MB (
19532873728 512 byte sectors)
> da36: <ATA WDC WD101KRYZ-01 01.0> Fixed Direct Access SPC-3 SCSI device
> da36: Serial Number 2YHU2GPD
> da36: 9537536MB (
19532873728 512 byte sectors)
> GEOM_MIRROR: Cancelling unmapped because of da33p1.
> GEOM_MIRROR: Cancelling unmapped because of da32p1.
> GEOM_MIRROR: Cancelling unmapped because of da30p1.
> GEOM_MIRROR: Cancelling unmapped because of da28p1.
> GEOM_MIRROR: Cancelling unmapped because of da26p1.
> Failed to fully fault in a core file segment at VA 0x81a6b9000 with size 0xa2000 to be written at offset 0x8b0a000 for process smbd
> Failed to fully fault in a core file segment at VA 0x81a772000 with size 0xb000 to be written at offset 0x8bc3000 for process smbd
> Failed to fully fault in a core file segment at VA 0x81cd10000 with size 0xbb000 to be written at offset 0x8de6000 for process smbd
> pid 14045 (smbd), uid 0: exited on signal 6 (core dumped)
> Failed to fully fault in a core file segment at VA 0x81a6af000 with size 0x89000 to be written at offset 0x8b00000 for process smbd
> Failed to fully fault in a core file segment at VA 0x81a738000 with size 0xa2000 to be written at offset 0x8b89000 for process smbd
> Failed to fully fault in a core file segment at VA 0x81cd10000 with size 0xbb000 to be written at offset 0x8e62000 for process smbd
> pid 14443 (smbd), uid 0: exited on signal 6 (core dumped)
> Failed to fully fault in a core file segment at VA 0x81a6b9000 with size 0xa2000 to be written at offset 0x8b09000 for process smbd
> Failed to fully fault in a core file segment at VA 0x81d316000 with size 0xbb000 to be written at offset 0x8de8000 for process smbd
> pid 12013 (smbd), uid 0: exited on signal 6 (core dumped)