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