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