evaluation time: 1128ms
serialization time: 0ms