evaluation time: 140742970ms
serialization time: 0ms