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