32-bit jdk 1.6_12 on linux seems unstable under heavy load