(1,18) (2,8) (3,12) (4,16) (5,29) (6,10) (7,17) (9,19) (11,20) (13,30) (14,23) (15,21) (22,27) (24,26) (25,28) 
nodes: 34095  conflicts: 4  modelTime: 1685  solveTime: 234736  totalTime: 236433  modelSize: 72338  readTime: 12 size: 15