Supercomputer simulation of ice formation gives evidence of paradoxical phenomenon of water