[Bug 27571] New: Call to unimplemented function KERNEL32.dll.GetNumaHighestNodeNumber

http://bugs.winehq.org/show_bug.cgi?id=27571

Summary: Call to unimplemented function
                    KERNEL32.dll.GetNumaHighestNodeNumber
           Product: Wine
           Version: 1.3.22
          Platform: x86-64
        OS/Version: Linux
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: -unknown
        AssignedTo: [e-mail]
        ReportedBy: [e-mail]

Created an attachment (id=35249)
 --> (http://bugs.winehq.org/attachment.cgi?id=35249)
output of wine run and input file moderate-smt1.smt

OS: Ubuntu 10.10
Wine: 1.3.22

Program under run:
Z3:
http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e259...

Installed successfully, this case appears when run with the following params:

wine /home/art_haali/.wine/drive_c/Program\ Files/Microsoft\
Research/Z3-2.19/bin_mt/z3.exe PAR_NUM_THREADS=4 PAR_SHARING=2
PAR_SHARING_LIMIT_NEAR=8 moderate-smt1.smt

Thanks.