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