So my problem is probably more related to OS X hosts specific (specially to Mac Book Pro 13"/Intel HD 4000 GPU ?) than Linux guests, no ?
Shouldn't the thread be moved again there ?
You have assigned all your CPUs to the VM. The host is going to run low on resources, since VirtualBox cares about physical processors, not logical ones. See: CPU Cores versus threads. Your i7-3520M has 2 cores.00:00:01.281072 NumCPUs <integer> = 0x0000000000000002 (2) 00:00:01.456170 CPUM: Logical host processors: 4 present, 4 max, 4 online, online mask: 000000000000000f 00:00:01.456175 CPUM: Physical host cores: 2