float64[] states
float32 obj_val