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