Cambiamos main
Datos 2012 Qual C
Trivial solving for small set 2012 Qual C
Fiddling with forking and JVM parameters