evaluation time: 4368ms
serialization time: 256ms