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