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