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