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