6.22/6.40 s SATISFIABLE
6.61/6.71 v 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1
6.61/6.71 d ASSIGNMENTS 430
6.61/6.71 c SAT 6292 TIME 430 NDS 1074 PARSTIME 3888 BUILDPB 1330 RES true RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1049080-1215044329/watcher-1049080-1215044329 -o /tmp/evaluation-result-1049080-1215044329/solver-1049080-1215044329 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1049080-1215044329.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.38 2.18 2.05 4/84 10887
/proc/meminfo: memFree=1621696/2055920 swapFree=4157148/4192956
[pid=10887] ppid=10885 vsize=18572 CPUtime=0
/proc/10887/stat : 10887 (runsolver) R 10885 10887 8957 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 627356077 19017728 292 996147200 4194304 4296836 548682068416 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10887/statm: 4643 292 257 25 0 2626 0
[startup+0.087347 s]
/proc/loadavg: 2.38 2.18 2.05 4/84 10887
/proc/meminfo: memFree=1621696/2055920 swapFree=4157148/4192956
[pid=10887] ppid=10885 vsize=866416 CPUtime=0.06
/proc/10887/stat : 10887 (java) S 10885 10887 8957 0 -1 0 3499 0 1 0 4 2 0 0 18 0 9 0 627356077 887209984 2998 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10887/statm: 216604 2998 1654 9 0 211076 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 866416
[startup+0.101347 s]
/proc/loadavg: 2.38 2.18 2.05 4/84 10887
/proc/meminfo: memFree=1621696/2055920 swapFree=4157148/4192956
[pid=10887] ppid=10885 vsize=866416 CPUtime=0.07
/proc/10887/stat : 10887 (java) S 10885 10887 8957 0 -1 0 3689 0 1 0 5 2 0 0 18 0 9 0 627356077 887209984 3162 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10887/statm: 216604 3162 1713 9 0 211076 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 866416
[startup+0.301364 s]
/proc/loadavg: 2.38 2.18 2.05 4/84 10887
/proc/meminfo: memFree=1621696/2055920 swapFree=4157148/4192956
[pid=10887] ppid=10885 vsize=866556 CPUtime=0.27
/proc/10887/stat : 10887 (java) S 10885 10887 8957 0 -1 0 4291 0 1 0 24 3 0 0 18 0 9 0 627356077 887353344 3744 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10887/statm: 216639 3744 1852 9 0 211111 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866556
[startup+0.701412 s]
/proc/loadavg: 2.38 2.18 2.05 4/84 10887
/proc/meminfo: memFree=1621696/2055920 swapFree=4157148/4192956
[pid=10887] ppid=10885 vsize=867452 CPUtime=0.67
/proc/10887/stat : 10887 (java) S 10885 10887 8957 0 -1 0 6979 0 1 0 63 4 0 0 18 0 9 0 627356077 888270848 6422 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10887/statm: 216863 6422 1886 9 0 211335 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867452
[startup+1.50149 s]
/proc/loadavg: 2.38 2.18 2.05 4/93 10896
/proc/meminfo: memFree=1594360/2055920 swapFree=4157148/4192956
[pid=10887] ppid=10885 vsize=867504 CPUtime=1.47
/proc/10887/stat : 10887 (java) S 10885 10887 8957 0 -1 0 16728 0 1 0 136 11 0 0 18 0 9 0 627356077 888324096 16126 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10887/statm: 216876 16126 1970 9 0 211348 0
[pid=10887/tid=10889] ppid=10885 vsize=867504 CPUtime=1.21
/proc/10887/task/10889/stat : 10889 (java) R 10885 10887 8957 0 -1 64 15408 0 1 0 112 9 0 0 25 0 9 0 627356079 888324096 16126 996147200 134512640 134550740 4294956032 18446744073709551615 4126948502 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10890] ppid=10885 vsize=867504 CPUtime=0
/proc/10887/task/10890/stat : 10890 (java) S 10885 10887 8957 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 627356081 888324096 16126 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10891] ppid=10885 vsize=867504 CPUtime=0
/proc/10887/task/10891/stat : 10891 (java) S 10885 10887 8957 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 627356081 888324096 16126 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10892] ppid=10885 vsize=867504 CPUtime=0
/proc/10887/task/10892/stat : 10892 (java) S 10885 10887 8957 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 627356081 888324096 16126 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10893] ppid=10885 vsize=867504 CPUtime=0
/proc/10887/task/10893/stat : 10893 (java) S 10885 10887 8957 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 627356083 888324096 16126 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10894] ppid=10885 vsize=867504 CPUtime=0.23
/proc/10887/task/10894/stat : 10894 (java) S 10885 10887 8957 0 -1 64 589 0 0 0 23 0 0 0 15 0 9 0 627356083 888324096 16126 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10895] ppid=10885 vsize=867504 CPUtime=0
/proc/10887/task/10895/stat : 10895 (java) S 10885 10887 8957 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 627356083 888324096 16126 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10896] ppid=10885 vsize=867504 CPUtime=0
/proc/10887/task/10896/stat : 10896 (java) S 10885 10887 8957 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 627356084 888324096 16126 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867504
[startup+3.10265 s]
/proc/loadavg: 2.38 2.18 2.05 3/93 10896
/proc/meminfo: memFree=1545720/2055920 swapFree=4157148/4192956
[pid=10887] ppid=10885 vsize=867636 CPUtime=3.06
/proc/10887/stat : 10887 (java) S 10885 10887 8957 0 -1 0 21503 0 1 0 293 13 0 0 18 0 9 0 627356077 888459264 20896 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10887/statm: 216909 20896 1987 9 0 211381 0
[pid=10887/tid=10889] ppid=10885 vsize=867636 CPUtime=2.55
/proc/10887/task/10889/stat : 10889 (java) R 10885 10887 8957 0 -1 64 15483 0 1 0 246 9 0 0 25 0 9 0 627356079 888459264 20896 996147200 134512640 134550740 4294956032 18446744073709551615 4126948493 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10890] ppid=10885 vsize=867636 CPUtime=0.16
/proc/10887/task/10890/stat : 10890 (java) S 10885 10887 8957 0 -1 64 4644 0 0 0 15 1 0 0 16 0 9 0 627356081 888459264 20896 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10891] ppid=10885 vsize=867636 CPUtime=0
/proc/10887/task/10891/stat : 10891 (java) S 10885 10887 8957 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 627356081 888459264 20896 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10892] ppid=10885 vsize=867636 CPUtime=0
/proc/10887/task/10892/stat : 10892 (java) S 10885 10887 8957 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 627356081 888459264 20896 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10893] ppid=10885 vsize=867636 CPUtime=0
/proc/10887/task/10893/stat : 10893 (java) S 10885 10887 8957 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 627356083 888459264 20896 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10894] ppid=10885 vsize=867636 CPUtime=0.31
/proc/10887/task/10894/stat : 10894 (java) S 10885 10887 8957 0 -1 64 649 0 0 0 31 0 0 0 15 0 9 0 627356083 888459264 20896 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10895] ppid=10885 vsize=867636 CPUtime=0
/proc/10887/task/10895/stat : 10895 (java) S 10885 10887 8957 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 627356083 888459264 20896 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10896] ppid=10885 vsize=867636 CPUtime=0
/proc/10887/task/10896/stat : 10896 (java) S 10885 10887 8957 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 627356084 888459264 20896 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867636
[startup+6.30296 s]
/proc/loadavg: 2.43 2.19 2.05 3/93 10896
/proc/meminfo: memFree=1526264/2055920 swapFree=4157148/4192956
[pid=10887] ppid=10885 vsize=867768 CPUtime=6.22
/proc/10887/stat : 10887 (java) S 10885 10887 8957 0 -1 0 26289 0 1 0 603 19 0 0 18 0 9 0 627356077 888594432 25667 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10887/statm: 216942 25667 1994 9 0 211414 0
[pid=10887/tid=10889] ppid=10885 vsize=867768 CPUtime=5.3
/proc/10887/task/10889/stat : 10889 (java) R 10885 10887 8957 0 -1 64 15616 0 1 0 518 12 0 0 25 0 9 0 627356079 888594432 25667 996147200 134512640 134550740 4294956032 18446744073709551615 4127526131 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10890] ppid=10885 vsize=867768 CPUtime=0.37
/proc/10887/task/10890/stat : 10890 (java) S 10885 10887 8957 0 -1 64 9139 0 0 0 32 5 0 0 17 0 9 0 627356081 888594432 25667 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10891] ppid=10885 vsize=867768 CPUtime=0
/proc/10887/task/10891/stat : 10891 (java) S 10885 10887 8957 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 627356081 888594432 25667 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10892] ppid=10885 vsize=867768 CPUtime=0
/proc/10887/task/10892/stat : 10892 (java) S 10885 10887 8957 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 627356081 888594432 25667 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10893] ppid=10885 vsize=867768 CPUtime=0
/proc/10887/task/10893/stat : 10893 (java) S 10885 10887 8957 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 627356083 888594432 25667 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10894] ppid=10885 vsize=867768 CPUtime=0.53
/proc/10887/task/10894/stat : 10894 (java) S 10885 10887 8957 0 -1 64 807 0 0 0 52 1 0 0 15 0 9 0 627356083 888594432 25667 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10895] ppid=10885 vsize=867768 CPUtime=0
/proc/10887/task/10895/stat : 10895 (java) S 10885 10887 8957 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 627356083 888594432 25667 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10896] ppid=10885 vsize=867768 CPUtime=0
/proc/10887/task/10896/stat : 10896 (java) S 10885 10887 8957 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 627356084 888594432 25667 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867768
Solver just ended. Dumping a history of the last processes samples
[startup+6.70301 s]
/proc/loadavg: 2.43 2.19 2.05 3/93 10896
/proc/meminfo: memFree=1526200/2055920 swapFree=4157148/4192956
[pid=10887] ppid=10885 vsize=867768 CPUtime=6.61
/proc/10887/stat : 10887 (java) S 10885 10887 8957 0 -1 0 27737 0 1 0 641 20 0 0 18 0 9 0 627356077 888594432 27112 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10887/statm: 216942 27112 1994 9 0 211414 0
[pid=10887/tid=10889] ppid=10885 vsize=867768 CPUtime=5.59
/proc/10887/task/10889/stat : 10889 (java) R 10885 10887 8957 0 -1 64 15621 0 1 0 547 12 0 0 25 0 9 0 627356079 888594432 27112 996147200 134512640 134550740 4294956032 18446744073709551615 4126812837 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10890] ppid=10885 vsize=867768 CPUtime=0.46
/proc/10887/task/10890/stat : 10890 (java) S 10885 10887 8957 0 -1 64 10582 0 0 0 41 5 0 0 16 0 9 0 627356081 888594432 27112 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10891] ppid=10885 vsize=867768 CPUtime=0
/proc/10887/task/10891/stat : 10891 (java) S 10885 10887 8957 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 627356081 888594432 27112 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10892] ppid=10885 vsize=867768 CPUtime=0
/proc/10887/task/10892/stat : 10892 (java) S 10885 10887 8957 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 627356081 888594432 27112 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10893] ppid=10885 vsize=867768 CPUtime=0
/proc/10887/task/10893/stat : 10893 (java) S 10885 10887 8957 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 627356083 888594432 27112 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10894] ppid=10885 vsize=867768 CPUtime=0.53
/proc/10887/task/10894/stat : 10894 (java) S 10885 10887 8957 0 -1 64 807 0 0 0 52 1 0 0 15 0 9 0 627356083 888594432 27112 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10895] ppid=10885 vsize=867768 CPUtime=0
/proc/10887/task/10895/stat : 10895 (java) S 10885 10887 8957 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 627356083 888594432 27112 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10887/tid=10896] ppid=10885 vsize=867768 CPUtime=0
/proc/10887/task/10896/stat : 10896 (java) S 10885 10887 8957 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 627356084 888594432 27112 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.61
Current children cumulated vsize (KiB) 867768
Child status: 0
Real time (s): 6.75041
CPU time (s): 6.64899
CPU user time (s): 6.42702
CPU system time (s): 0.221966
CPU usage (%): 98.4976
Max. virtual memory (cumulated for all children) (KiB): 867768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.42702
system time used= 0.221966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27750
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2503
involuntary context switches= 2701
runsolver used 0.011998 second user time and 0.028995 second system time
The end
Begin job on node60 at 2008-07-03 02:18:49
IDJOB=1049080
IDBENCH=54604
IDSOLVER=349
FILE ID=node60/1049080-1215044329
PBS_JOBID= 7875056
Free space on /tmp= 66552 MiB
SOLVER NAME= choco2_dwdeg 2008-06-26
BENCH NAME= CPAI08/csp/pseudo/radar/normalized-radar-30-30-4.5-0.95-100.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1049080-1215044329/watcher-1049080-1215044329 -o /tmp/evaluation-result-1049080-1215044329/solver-1049080-1215044329 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1049080-1215044329.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 269e5a26469c119f4cacb5a771763471
RANDOM SEED=1924185183
node60.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1622176 kB
Buffers: 6628 kB
Cached: 106368 kB
SwapCached: 29396 kB
Active: 359656 kB
Inactive: 22484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1622176 kB
SwapTotal: 4192956 kB
SwapFree: 4157148 kB
Dirty: 6852 kB
Writeback: 0 kB
Mapped: 280688 kB
Slab: 36252 kB
Committed_AS: 1680660 kB
PageTables: 2352 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66544 MiB
End job on node60 at 2008-07-03 02:18:56