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