chuffed fails on linux with mpirun

[rtaupe]

Hi,

for my tests on Linux (Ubuntu 16.04 x64), I´m using the same example as in #10. I compiled the binaries myself, as described in the README.

When running ./par_build/fzn_chuffed test/oocsp_racks_030_e6_cc.fz, I apparently get a valid solution:

% No search annotation given. Defaulting to VSIDS!
Configuration_configtype = array1d(1..30, [100, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]);
Element_configuration = array1d(1..30, [0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]);
Frame_rack = array1d(1..30, [0, 0, 0, 0, 0, 0, 0, 28, 29, 29, 29, 28, 29, 28, 28, 28, 28, 28, 28, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]);
Module_element = array1d(1..30, [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 4, 5, 7, 2, 3, 0, 0, 0, 0, 0]);
Module_frame = array1d(1..30, [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 17, 17, 17, 16, 19, 19, 18, 18, 0, 0, 0]);
Rack_configuration = array1d(1..30, [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0]);
nrofobjects = array1d(1..17, [1, 6, 6, 0, 0, 0, 12, 8, 6, 0, 0, 0, 2, 2, 1, 1, 1]);
start = array1d(1..17, [1, 2, 2, 8, 8, 8, 8, 20, 20, 26, 26, 26, 26, 28, 28, 29, 30]);

When using mpirun -np 8 ./par_build/fzn_chuffed -parallel=true -f test/oocsp_racks_030_e6_cc.fzn (as described in the README), however, I get some errors:

% No search annotation given. Defaulting to VSIDS!
% No search annotation given. Defaulting to VSIDS!
% No search annotation given. Defaulting to VSIDS!
% No search annotation given. Defaulting to VSIDS!
% No search annotation given. Defaulting to VSIDS!
% No search annotation given. Defaulting to VSIDS!
% No search annotation given. Defaulting to VSIDS!
% No search annotation given. Defaulting to VSIDS!
[ubuntu-vm:00771] *** Process received signal ***
[ubuntu-vm:00771] Signal: Segmentation fault (11)
[ubuntu-vm:00771] Signal code: Address not mapped (1)
[ubuntu-vm:00771] Failing at address: 0xc
[ubuntu-vm:00777] *** Process received signal ***
[ubuntu-vm:00775] *** Process received signal ***
[ubuntu-vm:00775] Signal: Segmentation fault (11)
[ubuntu-vm:00775] Signal code: Address not mapped (1)
[ubuntu-vm:00775] Failing at address: 0xc
[ubuntu-vm:00770] *** Process received signal ***
[ubuntu-vm:00770] Signal: Segmentation fault (11)
[ubuntu-vm:00770] Signal code: Address not mapped (1)
[ubuntu-vm:00770] Failing at address: 0xc
[ubuntu-vm:00773] *** Process received signal ***
[ubuntu-vm:00777] Signal: Segmentation fault (11)
[ubuntu-vm:00777] Signal code: Address not mapped (1)
[ubuntu-vm:00777] Failing at address: 0xc
[ubuntu-vm:00777] [ubuntu-vm:00770] [ 0] /lib/x86_64-linux-gnu/libpthread.so.0(+0x113d0)[0x7f71fa4163d0]
[ubuntu-vm:00770] [ 1] [ubuntu-vm:00771] [ 0] /lib/x86_64-linux-gnu/libpthread.so.0(+0x113d0)[0x7fb759b193d0]
[ubuntu-vm:00771] [ 1] [ubuntu-vm:00775] [ 0] /lib/x86_64-linux-gnu/libpthread.so.0(+0x113d0)[0x7f890666b3d0]
[ubuntu-vm:00775] [ 1] [ 0] /lib/x86_64-linux-gnu/libpthread.so.0(+0x113d0)[0x7f19b254a3d0]
[ubuntu-vm:00777] [ 1] [ubuntu-vm:00773] Signal: Segmentation fault (11)
[ubuntu-vm:00773] Signal code: Address not mapped (1)
[ubuntu-vm:00773] Failing at address: 0xc
[ubuntu-vm:00773] [ 0] /lib/x86_64-linux-gnu/libpthread.so.0(+0x113d0)[0x7fd8364a23d0]
[ubuntu-vm:00773] [ 1] [ubuntu-vm:00774] *** Process received signal ***
[ubuntu-vm:00772] *** Process received signal ***
[ubuntu-vm:00772] Signal: Segmentation fault (11)
[ubuntu-vm:00772] Signal code: Address not mapped (1)
[ubuntu-vm:00772] Failing at address: 0xc
[ubuntu-vm:00772] [ 0] /lib/x86_64-linux-gnu/libpthread.so.0(+0x113d0)[0x7f8b86ce03d0]
[ubuntu-vm:00772] [ 1] ./par_build/fzn_chuffed(_ZNK4TintcviEv+0xc)[0x4b1378]
[ubuntu-vm:00770] [ 2] ./par_build/fzn_chuffed(_ZNK6IntVar6getMinEv+0x1c)[0x4ca2f6]
[ubuntu-vm:00770] [ 3] ./par_build/fzn_chuffed(_ZN5Slave12exportBoundsEv+0x2b)[0x54480f]
[ubuntu-vm:00770] [ 4] ./par_build/fzn_chuffed(_ZNK4TintcviEv+0xc)[0x4b1378]
[ubuntu-vm:00775] [ 2] ./par_build/fzn_chuffed(_ZNK6IntVar6getMinEv+0x1c)[0x4ca2f6]
[ubuntu-vm:00775] [ 3] ./par_build/fzn_chuffed(_ZN5Slave12exportBoundsEv+0x2b)[0x54480f]
[ubuntu-vm:00775] [ 4] ./par_build/fzn_chuffed(_ZNK4TintcviEv+0xc)[0x4b1378]
[ubuntu-vm:00777] [ 2] ./par_build/fzn_chuffed(_ZNK6IntVar6getMinEv+0x1c)[0x4ca2f6]
[ubuntu-vm:00777] [ 3] ./par_build/fzn_chuffed(_ZN5Slave12exportBoundsEv+0x2b)[0x54480f]
[ubuntu-vm:00777] [ 4] ./par_build/fzn_chuffed(_ZNK4TintcviEv+0xc)[0x4b1378]
[ubuntu-vm:00771] [ 2] ./par_build/fzn_chuffed(_ZNK6IntVar6getMinEv+0x1c)[0x4ca2f6]
[ubuntu-vm:00771] [ 3] ./par_build/fzn_chuffed(_ZNK4TintcviEv+0xc)[0x4b1378]
[ubuntu-vm:00773] [ 2] ./par_build/fzn_chuffed(_ZNK6IntVar6getMinEv+0x1c)[0x4ca2f6]
[ubuntu-vm:00773] [ 3] ./par_build/fzn_chuffed(_ZN5Slave12exportBoundsEv+0x2b)[0x54480f]
[ubuntu-vm:00773] [ 4] ./par_build/fzn_chuffed(_ZN5Slave12exportBoundsEv+0x2b)[0x54480f]
[ubuntu-vm:00771] [ 4] ./par_build/fzn_chuffed(_ZN5Slave10sendReportEv+0x5c)[0x544a0a]
[ubuntu-vm:00771] [ 5] ./par_build/fzn_chuffed(_ZN5Slave5solveEv+0xea)[0x543d50]
[ubuntu-vm:00771] [ 6] ./par_build/fzn_chuffed(_ZN6Engine5solveEP7Problem+0x12c)[0x52e69c]
[ubuntu-vm:00771] [ 7] ./par_build/fzn_chuffed(main+0xb2)[0x48b144]
[ubuntu-vm:00771] [ 8] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7fb75975f830]
[ubuntu-vm:00771] [ 9] ./par_build/fzn_chuffed(_start+0x29)[0x48ae69]
[ubuntu-vm:00771] *** End of error message ***
./par_build/fzn_chuffed(_ZN5Slave10sendReportEv+0x5c)[0x544a0a]
[ubuntu-vm:00773] [ 5] ./par_build/fzn_chuffed(_ZN5Slave5solveEv+0xea)[0x543d50]
[ubuntu-vm:00773] [ 6] ./par_build/fzn_chuffed(_ZN6Engine5solveEP7Problem+0x12c)[0x52e69c]
[ubuntu-vm:00773] [ 7] ./par_build/fzn_chuffed(main+0xb2)[0x48b144]
[ubuntu-vm:00773] [ 8] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7fd8360e8830]
[ubuntu-vm:00773] [ 9] ./par_build/fzn_chuffed(_start+0x29)[0x48ae69]
[ubuntu-vm:00773] *** End of error message ***
./par_build/fzn_chuffed(_ZN5Slave10sendReportEv+0x5c)[0x544a0a]
[ubuntu-vm:00770] [ 5] ./par_build/fzn_chuffed(_ZN5Slave5solveEv+0xea)[0x543d50]
[ubuntu-vm:00770] [ 6] ./par_build/fzn_chuffed(_ZN6Engine5solveEP7Problem+0x12c)[0x52e69c]
[ubuntu-vm:00770] [ 7] ./par_build/fzn_chuffed(main+0xb2)[0x48b144]
[ubuntu-vm:00770] [ 8] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7f71fa05c830]
[ubuntu-vm:00770] [ 9] ./par_build/fzn_chuffed(_start+0x29)[0x48ae69]
[ubuntu-vm:00770] *** End of error message ***
./par_build/fzn_chuffed(_ZN5Slave10sendReportEv+0x5c)[0x544a0a]
[ubuntu-vm:00775] [ 5] ./par_build/fzn_chuffed(_ZN5Slave5solveEv+0xea)[0x543d50]
[ubuntu-vm:00775] [ 6] ./par_build/fzn_chuffed(_ZN6Engine5solveEP7Problem+0x12c)[0x52e69c]
[ubuntu-vm:00775] [ 7] ./par_build/fzn_chuffed(main+0xb2)[0x48b144]
[ubuntu-vm:00775] [ 8] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7f89062b1830]
[ubuntu-vm:00775] [ 9] ./par_build/fzn_chuffed(_start+0x29)[0x48ae69]
[ubuntu-vm:00775] *** End of error message ***
./par_build/fzn_chuffed(_ZN5Slave10sendReportEv+0x5c)[0x544a0a]
[ubuntu-vm:00777] [ 5] ./par_build/fzn_chuffed(_ZN5Slave5solveEv+0xea)[0x543d50]
[ubuntu-vm:00777] [ 6] ./par_build/fzn_chuffed(_ZN6Engine5solveEP7Problem+0x12c)[0x52e69c]
[ubuntu-vm:00777] [ 7] ./par_build/fzn_chuffed(main+0xb2)[0x48b144]
[ubuntu-vm:00777] [ 8] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7f19b2190830]
[ubuntu-vm:00777] [ 9] ./par_build/fzn_chuffed(_start+0x29)[0x48ae69]
[ubuntu-vm:00777] *** End of error message ***
./par_build/fzn_chuffed(_ZNK4TintcviEv+0xc)[0x4b1378]
[ubuntu-vm:00772] [ 2] ./par_build/fzn_chuffed(_ZNK6IntVar6getMinEv+0x1c)[0x4ca2f6]
[ubuntu-vm:00772] [ 3] ./par_build/fzn_chuffed(_ZN5Slave12exportBoundsEv+0x2b)[0x54480f]
[ubuntu-vm:00772] [ 4] ./par_build/fzn_chuffed(_ZN5Slave10sendReportEv+0x5c)[0x544a0a]
[ubuntu-vm:00772] [ 5] ./par_build/fzn_chuffed(_ZN5Slave5solveEv+0xea)[0x543d50]
[ubuntu-vm:00772] [ 6] ./par_build/fzn_chuffed(_ZN6Engine5solveEP7Problem+0x12c)[0x52e69c]
[ubuntu-vm:00772] [ 7] ./par_build/fzn_chuffed(main+0xb2)[0x48b144]
[ubuntu-vm:00772] [ 8] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7f8b86926830]
[ubuntu-vm:00772] [ 9] ./par_build/fzn_chuffed(_start+0x29)[0x48ae69]
[ubuntu-vm:00772] *** End of error message ***
[ubuntu-vm:00774] Signal: Segmentation fault (11)
[ubuntu-vm:00774] Signal code: Address not mapped (1)
[ubuntu-vm:00774] Failing at address: 0xc
[ubuntu-vm:00774] [ 0] /lib/x86_64-linux-gnu/libpthread.so.0(+0x113d0)[0x7fdc55c723d0]
[ubuntu-vm:00774] [ 1] ./par_build/fzn_chuffed(_ZNK4TintcviEv+0xc)[0x4b1378]
[ubuntu-vm:00774] [ 2] ./par_build/fzn_chuffed(_ZNK6IntVar6getMinEv+0x1c)[0x4ca2f6]
[ubuntu-vm:00774] [ 3] ./par_build/fzn_chuffed(_ZN5Slave12exportBoundsEv+0x2b)[0x54480f]
[ubuntu-vm:00774] [ 4] ./par_build/fzn_chuffed(_ZN5Slave10sendReportEv+0x5c)[0x544a0a]
[ubuntu-vm:00774] [ 5] ./par_build/fzn_chuffed(_ZN5Slave5solveEv+0xea)[0x543d50]
[ubuntu-vm:00774] [ 6] ./par_build/fzn_chuffed(_ZN6Engine5solveEP7Problem+0x12c)[0x52e69c]
[ubuntu-vm:00774] [ 7] ./par_build/fzn_chuffed(main+0xb2)[0x48b144]
[ubuntu-vm:00774] [ 8] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7fdc558b8830]
[ubuntu-vm:00774] [ 9] ./par_build/fzn_chuffed(_start+0x29)[0x48ae69]
[ubuntu-vm:00774] *** End of error message ***

mpirun noticed that process rank 2 with PID 771 on node ubuntu-vm exited on signal 11 (Segmentation fault).

Best regards,
Richard

[gpiotti]

same here