USER=d02pulse; LOG_PATH=LOGS\CSE-212244_6004mip_history.txt; PID=CSE-212244_6004; MACHINE_NAME=cse-212244; START_TIME=Mon Oct 29 16:34:59 CET 2012; END_TIME=Mon Oct 29 16:41:13 CET 2012;