Comment # 1 on bug 1223773 from Michael Andres

@Giacomo, please create a solver testcase: 
> zypper in --debug-solver musescore


Then pack the testcase directory together with the /var/log/zypper.log and
attach it to the bugreport:
>  cd /tmp
>  tar cvjf zypper-testcase.bz2 /var/log/zypper.solverTestCase /var/log/zypper.log

In case the testcase exceeds the 10MB limit for bugzilla uploads, you can use
'split' to divide the file into smaller pieces:

>  cd /tmp
>  split -b 10M --additional-suffix=-zypper-testcase.bz2 zypper-testcase.bz2

The created pieces will be named:
  xaa-zypper-testcase.bz2
  xab-zypper-testcase.bz2
  xac-...