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