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