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