fhourstones88

fhourstones88 copied to clipboard

I started a machine with 16G ram today in order to test the compile-parameters you describe in the README file:

g++ -std=c++11 -O3 -Wextra -Wall -DWIDTH=8 -DHEIGHT=8 -DBOOKWORK=24 -DLOCKSIZE=42 -DTRANSIZE=1040187403 C4.cpp Search.cpp Window.cpp -o C488

For a few situations, the solver stops with the following failing assertion:

Search.cpp:27: Trans::Trans(): Assertion `ht = (Hashentry *)calloc(1040187403, sizeof(Hashentry))' failed.

I played around with the compile-parameters, but always ran into different failing assertions. fyi - the machine's meminfo:

# cat /proc/meminfo
MemTotal:       15407772 kB
MemFree:        13896160 kB
MemAvailable:   15018964 kB
Buffers:           94600 kB

hi Andreas,

I started a machine with 16G ram today in order to test the compile-parameters you describe in the README file:

g++ -std=c++11 -O3 -Wextra -Wall -DWIDTH=8 -DHEIGHT=8 -DBOOKWORK=24 -DLOCKSIZE=42 -DTRANSIZE=1040187403 C4.cpp Search.cpp Window.cpp -o C488

For a few situations, the solver stops with the following failing assertion:

Search.cpp:27: Trans::Trans(): Assertion `ht = (Hashentry *)calloc(1040187403, sizeof(Hashentry))' failed.

Can you print out the sizeof(Hashentry) and check whether it's 12 or 16 bytes? The latter would explain the allocation failure...

regards, -John