Cinnamon desktop freeze - no mouse actions

[Jérôme Poulin]

Cinnamon freezes multiple time by days, mostly when switching desktops. I need to kill -HUP cinnamon's process via console to get my screen functional again.

Here is an incomplete backtrace from frozen state before kill -HUP (forgot to set logging on in GDB);
        layout1 = {rows = 10751840, cols = 0, grid = 0xa0, grid_area = -694203770, current_row = 32522, current_col = -694504280}
        layout2 = {rows = 1, cols = 4, grid = 0x1ff59e0, grid_area = 4, current_row = 0, current_col = 0}
        num_workspaces = <optimized out>
        current_space = <optimized out>
        new_space = <optimized out>
        direction = <optimized out>
#7 0x00007f0ad69abb81 in process_event (bindings=<optimized out>, n_bindings=<optimized out>, display=display@entry=0x1a50010, screen=screen@entry=0xa18200, window=window@entry=0x0,
    event=event@entry=0x7fff0cdcdab0, on_window=0, keysym=<optimized out>) at core/keybindings.c:1441
        handler = 0x1a50a60
        i = <optimized out>
#8 0x00007f0ad69acbd4 in meta_display_process_key_event (display=display@entry=0x1a50010, window=window@entry=0x0, event=event@entry=0x7fff0cdcdab0) at core/keybindings.c:1683
        keysym = <optimized out>
        keep_grab = 1
        all_keys_grabbed = <optimized out>
        str = <optimized out>
        screen = 0xa18200
        __PRETTY_FUNCTION__ = "meta_display_process_key_event"
#9 0x00007f0ad69a11ab in event_callback (event=0x7fff0cdcdab0, data=0x1a50010) at core/display.c:1799
        window = <optimized out>
        property_for_window = <optimized out>
        display = 0x1a50010
        frame_was_receiver = 0
        bypass_compositor = 0
        filter_out_event = <optimized out>
#10 0x00007f0ad69ebed6 in filter_func (xevent=0x7fff0cdcdab0, event=<optimized out>, data=<optimized out>) at ui/ui.c:238
No locals.
#11 0x00007f0ad16a5921 in ?? () from /usr/lib/x86_64-linux-gnu/libgdk-3.so.0
No symbol table info available.
#12 0x00007f0ad16a5af7 in ?? () from /usr/lib/x86_64-linux-gnu/libgdk-3.so.0
No symbol table info available.
---Type <return> to continue, or q <return> to quit---
#13 0x00007f0ad167b511 in gdk_display_get_event () from /usr/lib/x86_64-linux-gnu/libgdk-3.so.0
No symbol table info available.
#14 0x00007f0ad16a5832 in ?? () from /usr/lib/x86_64-linux-gnu/libgdk-3.so.0
No symbol table info available.
#15 0x00007f0ad5cd9a95 in g_main_context_dispatch () from /lib/x86_64-linux-gnu/libglib-2.0.so.0
No symbol table info available.
#16 0x00007f0ad5cd9dc8 in ?? () from /lib/x86_64-linux-gnu/libglib-2.0.so.0
No symbol table info available.
#17 0x00007f0ad5cda1c2 in g_main_loop_run () from /lib/x86_64-linux-gnu/libglib-2.0.so.0
No symbol table info available.
#18 0x00007f0ad69af257 in meta_run () at core/main.c:555
        log_domains = {0x0, 0x7f0ad69f6a6d "muffin", 0x7f0ad69f5dab "Gtk", 0x7f0ad69f5daf "Gdk", 0x7f0ad69f5db3 "GLib", 0x7f0ad69f5db8 "Pango", 0x7f0ad69f5dbe "GLib-GObject",
          0x7f0ad69f5dcb "GThread"}
        i = <optimized out>
#19 0x0000000000401773 in main (argc=1, argv=0x7fff0cdcdea8) at main.c:296
        ctx = <optimized out>
        error = 0x0
        ecode = <optimized out>

ProblemType: Bug
DistroRelease: Ubuntu 13.04
Package: cinnamon 1.6.7-1
ProcVersionSignature: Ubuntu 3.8.0-0.2-generic 3.8.0-rc3
Uname: Linux 3.8.0-0-generic x86_64
ApportVersion: 2.8-0ubuntu1
Architecture: amd64
Date: Mon Jan 14 15:10:23 2013
MarkForUpload: True
SourcePackage: cinnamon
UpgradeStatus: No upgrade log present (probably fresh install)