evaluation time: 1139335ms
serialization time: 262ms