I briefly tested it when it was $15,000 and passed, mainly because of 8 bits and lower bps, the cost and the ability to function as a real motion camera.
The 1dc is a 422 8 bit camera, the sony a7s 8 bit 420. Both do high iso well (though the higher you go the softer the file), but grading an 8 bit file usually requires to shoot with decent lighting and/or supplemental lighting and can band.
Al of this is very subject, style, anticipation dependent. Best is to rent from Borrowlens and work in your style, just like stills.
Or . . .
Maybe you don't want other opinions, but . . .
Actually for $11,000 a C300 though 2k is a better motion camera and will be a lot cheaper in the long run than any dslr as you'll need a cage, some type of xlr inputs, or sound recorder, usually a secondary monitor or monitor recorder.
(The C100's and c300's actually shoot 4k but down sample rather than line skip so moire and alaising aren't usually a big problem).
An A7s to get to 4k goes to up to $6,500 real quick with a 4k recorder, sound accessories and it will also be an 8 bit camera.
Really the best deal is a gh4, some fast voight manual focus lenses, a 4k recorder for 10 bit files though you'll still get up there in price.
If you serious about motion capture there is an endless cost upgrade.
Also if you manually focus still servo lenses are not easy to use, mechanical lenses are much more precise and 6k or 2k get the same look if your not in focus.
This setup is a $3,000 lens, a $3,500 viewfinder to get to a smallish form factor.

Honestly there is no all in one small 4k that shoots a robust file, except the sony fs7 and even then it doesn't yet shoot pro res and needs conversion for fast editing.
Then again, I'm probably not the best to give advice, because I lug 25 to 35 lb red ones around because I love the look of the file and feel it's worth it, though after a hard week of production I look very hard at a Canon c300 or c500 due to the small and lightweight form factor.

Also keep in mind the 1dc is going to keep going down in price as Canon has to respond to the Sony fs7. I wouldn't be surprised to see a 4k c300 type camera soon, but that's just a guess as Canon seems to be very slow in their upgrades.
For quick shooting the very best deal I've found is a Canon 70d. It shoots a rather dslr looking 8 bit file but autofocuses like crazy and is easy and fast all for a $800 to $900 camera.
Also remember that the h264 codec was meant for video streaming, not actual video capture and some people have issues with all flavors of avchd (though the latest versions are better).
The most interesting camera is the Samsung NX1. I don't think it's a true cinema camera, but the price is hard to deny and though it shoots h265 and right now is fairly slow to convert to a useable codec h265 allows for better detail at lower bit rates.
With motion capture there is two ways to go. You can dip your toe in the water or dive off a cliff, but anything in between will show.
To really get pro with a dslr you can quickly get to something like this.

IMO
BC