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