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