evaluation time: 28422ms
serialization time: 0ms