For information, migrating 1000 nodes in one shot took 13 minutes, the php cli script used a maximum of 60M of ram for the operation.
I think what took most of the time is spent in the node_save() function (I need to do some xdebug profiling to be sure). Pierre.
