evaluation time: 4277ms
serialization time: 1576ms