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