evaluation time: 579100ms
serialization time: 0ms