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