Comment # 2 on bug 1185325 from Benjamin Zeller

A solver testcase would also help a lot debugging this issue:

>    # zypper in --debug-solver nopackage
>    ...
>    Generating solver test case...
>    Solver test case generated successfully at /var/log/zypper.solverTestCase.  
Then pack the output directory together with /var/log/zypper.log and attach it
to the bugreport. 

In case the testcase exceeds the 10MB limit for bugzilla uploads, you can use
'split' to divide the file into smaller pieces: 
>  $ cd /tmp
>  $ tar cvjf zypper.solverTestCase.tar.bz2 /var/log/zypper.solverTestCase/
>  $ split -b 10M --additional-suffix=-zypper.solverTestCase.tar.bz2 \
>    zypper.solverTestCase.tar.bz2
The created pieces will be named like this:
>  xaa-zypper.solverTestCase.tar.bz2
>  xab-zypper.solverTestCase.tar.bz2
>  xac-zypper.solverTestCase.tar.bz2
>  ...