(2,29) (3,18) (4,21) (5,22) (6,13) (7,17) (8,28) (9,10) (11,30) (12,26) (14,16) (15,19) (23,24) (25,27) 
nodes: 61518  conflicts: 50  modelTime: 1725  solveTime: 212006  totalTime: 213751  modelSize: 72271  readTime: 20 size: 14