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