Comment # 4 on bug 953130 from Michael Andres

@Harald: if the problems persists, could you please add a solver testcase. 

>    # 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 9M --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
>  ...