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