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