evaluation time: 30132ms
serialization time: 0ms