$ time scryer-prolog -g camels,halt camels.pl v15.pl 
% initial patterns:
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0].
[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0].
[0,0,2,0,0,0,0,0,0,0,0,0,0,0,0].
[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0].
[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0].
[0,0,0,0,0,1,0,0,0,0,0,0,0,0,0].
[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0].
[0,0,0,0,0,0,0,1,0,0,0,0,0,0,0].
[0,0,0,0,0,0,0,0,2,0,0,0,0,0,0].
[0,0,0,0,0,0,0,0,0,1,0,0,0,0,0].
[0,0,0,0,0,0,0,0,0,0,1,0,0,0,0].
[0,0,0,0,0,0,0,0,0,0,0,1,0,0,0].
[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0].
[0,0,0,0,0,0,0,0,0,0,0,0,0,1,0].
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,2].
% generated packing patterns:
[0,0,1,0,0,1,0,0,0,0,0,0,0,0,0].
[0,0,1,0,0,0,0,0,0,0,1,0,0,0,0].
[0,0,0,0,0,0,0,0,1,0,1,0,0,0,0].
[0,0,0,0,0,0,1,0,1,0,0,0,0,0,0].
[0,0,0,0,0,0,0,0,1,1,0,0,0,0,0].
[0,0,0,0,0,0,0,0,0,0,1,0,0,0,1].
% solution vector (coefficient of each pattern):
[48,46,6,13,57,0,0,38,1,0,0,39,33,34,1,66,2,21,39,16,16].

real	0m5.737s
user	0m5.579s
sys	0m0.147s