In homes where there are no drain lines in the basement floor, it's common practice to use some form of cistern containing a pump. A quick search at Home Depot turned up the SANISWIFT®, made by a company called Saniflo. The specifications list this unit as having a vertical discharge of 14 ft., which should be more than enough.
I've seen similar setups in many basements, where the only drain available is overhead.
Grey water from the sink and washer are collected in the cistern, then pumped up and out of the area when the cistern is filled to a certain level.
If the washer discharges faster than the grey water pump can handle, you're going to have problems. That's why when installing a system like this, the cistern should always be large enough to hold more than the volume of water that will be discharged by the washer. In the above image, the sink acts as a secondary reservoir (as well as an air gap) allowing the pump extra time to discharge the water. If you're not using a sink it's a good idea to have a larger cistern, and/or a grey water pump that can handle the volume.
You'll also want to install a check valve, on the discharge line from the grey water pipe. This will prevent the water in the vertical pipe from draining back into the cistern, and causing a potential infinite loop situation.
As for whether or not you should rely on your washing machine discharge pump to lift the water, you might find this related question useful.
This is only appropriate for grey water discharge. This method is NOT appropriate for sewage discharge.
Obviously there are other manufacturers of other systems, and you could always build you own system. I do not recommend or endorse this product, it is only used as an example. Searching for
grey water pump will find many alternative products.