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