-bash-3.2# diskutil repairDisk disk0 ; diskutil list disk0
Repairing the partition map might erase disk0s1, proceed? (y/N) y
Started partition map repair on disk0
Checking prerequisites
Checking the partition list
Adjusting partition map to fit whole disk as required
Checking for an EFI system partition
Checking the EFI system partition's size
Checking the EFI system partition's file system
Checking the EFI system partition's folder content
Checking all HFS data partition loader spaces
Preparing to create trailing loader space by shrinking the volume "Macintosh HD" on disk0s4
Creating loader space, part 1 of 3: Verifying the file system
Creating loader space, part 2 of 3: Shrinking the file system from 400548106240 to 400413888512 bytes so this partition can be smaller
Creating loader space, part 3 of 3: Shrinking the partition in the partition map to open up loader space
Checking booter partitions
Checking booter partition disk0s3
Repairing file system
Checking Journaled HFS Plus volume
Checking extents overflow file
Checking catalog file
Checking multi-linked files
Checking catalog hierarchy
Checking extended attributes file
Checking volume bitmap
Checking volume information
The volume Recovery HD appears to be OK
File system check exit code is 0
Updating boot support partitions for the volume as required
Reviewing boot support loaders
Checking Core Storage Physical Volume partitions
Updating Windows boot.ini files as required
The partition map has been repaired
Finished partition map repair on disk0
/dev/disk0 (internal, physical):
#: TYPE NAME SIZE IDENTIFIER
0: GUID_partition_scheme *500.1 GB disk0
1: EFI EFI 209.7 MB disk0s1
2: Apple_HFS Macintosh HD 400.4 GB disk0s4
3: Apple_HFS El Capitan 98.7 GB disk0s2
4: Apple_Boot Recovery HD 650.0 MB disk0s3