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