(1,20) (2,29) (3,23) (4,21) (5,16) (6,24) (7,22) (8,30) (9,27) (10,19) (11,28) (12,17) (13,26) (14,25) (15,18) 
nodes: 2295  conflicts: 6  modelTime: 986  solveTime: 6551  totalTime: 7636  modelSize: 41299  readTime: 99 size: 15