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