evaluation time: 4576ms
serialization time: 0ms