evaluation time: 4371ms
serialization time: 1408ms