solver: extrac checks added when copying
solver: added mapping array allocation
solver: logging improved
solver: refactored allocator
solver: fixed data copying into device.