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