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