A MIC bug in icc13.0

hello,I have a problem on MIC these days.My cpu has 3 MICs.

My code is (file named MIC_test.cc):

#pragma offload_attribute(push,target(mic))
#include <stdio.h>
#include <offload.h>
#pragma offload_attribute(pop)

int main(int argc,char **argv)
{
        int MIC_num;
        MIC_num = _Offload_number_of_devices();
        printf("host has MIC %d\n",MIC_num);
        #pragma offload target(mic:0)
        {
                printf("MIC ID:%d\n",_Offload_get_device_number());
        }
        #pragma offload target(mic:1)
        {
                printf("MIC ID:%d\n",_Offload_get_device_number());
        }
        #pragma offload target(mic:2)
        {
                printf("MIC ID:%d\n",_Offload_get_device_number());
        }
}

and I get this:

need your respond.