From what link did you download this IDE? What version have you downloaded? Are you sure you are selecting the correct port in the Arduino IDE?. Make sure you have the switch SW1 towards the micro USB ports and are connecting J16.
Make sure to follow IoT - Step 2: Install drivers | Intel® Developer Zone .
I am not very clear about the source of the problem. I guess there was some error while installing the software. I did the entire process once from the very beginning and now its working fine.