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