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