Is this graph Hamiltonian? Let $G$ be a simple $2$-connected graph with $m+n$ vertices ($n>m \geq 3$) with degree sequence $(m-1)^m$, $(n-1)^n$; that is, $G$ is degree-equivalent to two disjoint cliques $K_m$, $K_n$ of different order.
Question: Does $G$ contain a Hamiltonian cycle or a Hamiltonian path?
The few related theorems that I know do not imply existence of such a cycle or path.
Any relevant answer/comment would be greatly appreciated.
 A: Here is a 9-vertex graph with degree sequence 4 4 4 4 4 3 3 3 3 that does not have a Hamilton cycle (because it is bipartite on an odd number of vertices).

Edit: Here is one line of SageMath showing that this is the only example of this size.
[g.graph6_string() for g in graphs.nauty_geng("-C 9 16 -d3 -D4") if not g.is_hamiltonian()]

Edit 2: Turns out this graph is more structured than the picture shows and it easily leads to an infinite family.
For some $m \geqslant 3$, take the graph $K_{m,m}$ and delete a matching. This leaves $2m$ vertices, each of degree $m-1$. Now add another vertex adjacent to the $m$ vertices of one colour class. This upgrades these $m$ vertices to degree $m$, and the new vertex also has degree $m$.  So now we have $m$ vertices of degree $m-1$ and $m+1$ vertices of degree $m$, as required. The graph is still bipartite and has an odd number of vertices.
A: Building from Gordon's answer, we can add one more vertex to his graph and join it to all five vertices of degree 4, as shown in the figure below, vertex 10 is the one added.

This gives us six vertices of degree 5 and still four vertices of degree 3, and the graph still isn't Hamiltonian, for similar reasons. Note that the graph is no longer bipartite though.
We can now add another vertex adjacent to all those of degree 5 and repeat this process as many times as necessary to get non-Hamiltonian graphs with n>m+1, and any chromatic number.
From nauty there is also a second graph with vertices of degree 3 and 5 shown below which is not bipartite either; it is non-Hamiltonian by considering the three vertices of degree 3 on the right which all share the same three neighbours

